{"_id":"kiR9Eo7MneodGcdfY","bibbaseid":"foughali-berthomieu-dalzilio-hladik-ingrand-mallet-formalverificationofcomplexroboticsystemsonresourceconstrainedplatforms-2018","author_short":["Foughali, M.","Berthomieu, B.","Dal Zilio, S.","Hladik, P.","Ingrand, F.","Mallet, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal verification of complex robotic systems on resource-constrained platforms","booktitle":"2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Foughali"],"firstnames":["Mohammed"],"suffixes":[]},{"propositions":[],"lastnames":["Berthomieu"],"firstnames":["Bernard"],"suffixes":[]},{"propositions":[],"lastnames":["Dal","Zilio"],"firstnames":["Silvano"],"suffixes":[]},{"propositions":[],"lastnames":["Hladik"],"firstnames":["Pierre-Emmanuel"],"suffixes":[]},{"propositions":[],"lastnames":["Ingrand"],"firstnames":["Félix"],"suffixes":[]},{"propositions":[],"lastnames":["Mallet"],"firstnames":["Anthony"],"suffixes":[]}],"year":"2018","note":"tex.ids= foughaliFormalVerificationComplex2018a, foughaliFormalVerificationComplex2018b, foughaliFormalVerificationComplex2018c, foughali_formal_2018","keywords":"[SPI.AUTO]Engineering Sciences [physics]/Automatic, ⛔ No DOI found","pages":"2–9","bibtex":"@inproceedings{foughali_formal_2018,\n\ttitle = {Formal verification of complex robotic systems on resource-constrained platforms},\n\tbooktitle = {2018 {IEEE}/{ACM} 6th {International} {FME} {Workshop} on {Formal} {Methods} in {Software} {Engineering} ({FormaliSE})},\n\tpublisher = {IEEE},\n\tauthor = {Foughali, Mohammed and Berthomieu, Bernard and Dal Zilio, Silvano and Hladik, Pierre-Emmanuel and Ingrand, Félix and Mallet, Anthony},\n\tyear = {2018},\n\tnote = {tex.ids= foughaliFormalVerificationComplex2018a, foughaliFormalVerificationComplex2018b, foughaliFormalVerificationComplex2018c, foughali\\_formal\\_2018},\n\tkeywords = {[SPI.AUTO]Engineering Sciences [physics]/Automatic, ⛔ No DOI found},\n\tpages = {2--9},\n}\n\n","author_short":["Foughali, M.","Berthomieu, B.","Dal Zilio, S.","Hladik, P.","Ingrand, F.","Mallet, A."],"key":"foughali_formal_2018","id":"foughali_formal_2018","bibbaseid":"foughali-berthomieu-dalzilio-hladik-ingrand-mallet-formalverificationofcomplexroboticsystemsonresourceconstrainedplatforms-2018","role":"author","urls":{},"keyword":["[SPI.AUTO]Engineering Sciences [physics]/Automatic","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["[spi.auto]engineering sciences [physics]/automatic","⛔ no doi found"],"search_terms":["formal","verification","complex","robotic","systems","resource","constrained","platforms","foughali","berthomieu","dal zilio","hladik","ingrand","mallet"],"title":"Formal verification of complex robotic systems on resource-constrained platforms","year":2018}