%0 Conference Paper %1 conf/adaEurope/BerthomieuBCDFV09 %A Berthomieu, Bernard %A Bodeveix, Jean-Paul %A Chaudet, Christelle %A Dal-Zilio, Silvano %A Filali, Mamoun %A Vernadat, François %B Ada-Europe %D 2009 %E Kordon, Fabrice %E Kermarrec, Yvon %I Springer %K dblp %P 207-221 %T Formal Verification of AADL Specifications in the Topcased Environment. %U http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2009.html#BerthomieuBCDFV09 %V 5570 %@ 978-3-642-01923-4

@inproceedings{conf/adaEurope/BerthomieuBCDFV09, added-at = {2021-03-17T00:00:00.000+0100}, author = {Berthomieu, Bernard and Bodeveix, Jean-Paul and Chaudet, Christelle and Dal-Zilio, Silvano and Filali, Mamoun and Vernadat, François}, biburl = {https://www.bibsonomy.org/bibtex/2b4e3de6464be953f552a9abf8eaaf074/dblp}, booktitle = {Ada-Europe}, crossref = {conf/adaEurope/2009}, editor = {Kordon, Fabrice and Kermarrec, Yvon}, ee = {https://doi.org/10.1007/978-3-642-01924-1_15}, interhash = {82a744eebda377a88e423a901f801d28}, intrahash = {b4e3de6464be953f552a9abf8eaaf074}, isbn = {978-3-642-01923-4}, keywords = {dblp}, pages = {207-221}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:26:57.000+0200}, title = {Formal Verification of AADL Specifications in the Topcased Environment.}, url = {http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2009.html#BerthomieuBCDFV09}, volume = 5570, year = 2009 }