%0 Conference Paper %1 conf/csdm/BanachRLDMFCD18 %A Banach, Richard %A Razavi, Joe %A Lesecq, Suzanne %A Debicki, Olivier %A Mareau, Nicolas %A Foucault, Julie %A Correvon, Marc %A Dudnik, Gabriela %B CSDM %D 2018 %E Bonjour, Eric %E Krob, Daniel %E Palladino, Luca %E Stephan, François %I Springer %K dblp %P 3-15 %T Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX. %U http://dblp.uni-trier.de/db/conf/csdm/csdm2018.html#BanachRLDMFCD18 %@ 978-3-030-04209-7

@inproceedings{conf/csdm/BanachRLDMFCD18, added-at = {2018-11-20T00:00:00.000+0100}, author = {Banach, Richard and Razavi, Joe and Lesecq, Suzanne and Debicki, Olivier and Mareau, Nicolas and Foucault, Julie and Correvon, Marc and Dudnik, Gabriela}, biburl = {https://www.bibsonomy.org/bibtex/2514fdfe81ddf8869b33aba029a0dbef0/dblp}, booktitle = {CSDM}, crossref = {conf/csdm/2018}, editor = {Bonjour, Eric and Krob, Daniel and Palladino, Luca and Stephan, François}, ee = {https://doi.org/10.1007/978-3-030-04209-7_1}, interhash = {03165268bbb92e943becd7fb7c50e913}, intrahash = {514fdfe81ddf8869b33aba029a0dbef0}, isbn = {978-3-030-04209-7}, keywords = {dblp}, pages = {3-15}, publisher = {Springer}, timestamp = {2024-04-09T09:59:45.000+0200}, title = {Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX.}, url = {http://dblp.uni-trier.de/db/conf/csdm/csdm2018.html#BanachRLDMFCD18}, year = 2018 }