%0 Conference Paper %1 conf/ecmdafa/RadjenovicMPRMBK12 %A Radjenovic, Alek %A Matragkas, Nikolas Drivalos %A Paige, Richard F. %A Rossi, Matteo %A Motta, Alfredo %A Baresi, Luciano %A Kolovos, Dimitrios S. %B ECMFA %D 2012 %E Vallecillo, Antonio %E Tolvanen, Juha-Pekka %E Kindler, Ekkart %E Störrle, Harald %E Kolovos, Dimitrios S. %I Springer %K dblp %P 340-351 %T MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. %U http://dblp.uni-trier.de/db/conf/ecmdafa/ecmfa2012.html#RadjenovicMPRMBK12 %V 7349 %@ 978-3-642-31490-2

@inproceedings{conf/ecmdafa/RadjenovicMPRMBK12, added-at = {2023-04-17T00:00:00.000+0200}, author = {Radjenovic, Alek and Matragkas, Nikolas Drivalos and Paige, Richard F. and Rossi, Matteo and Motta, Alfredo and Baresi, Luciano and Kolovos, Dimitrios S.}, biburl = {https://www.bibsonomy.org/bibtex/2f575a1199ebcd881b23da604d9c16257/dblp}, booktitle = {ECMFA}, crossref = {conf/ecmdafa/2012}, editor = {Vallecillo, Antonio and Tolvanen, Juha-Pekka and Kindler, Ekkart and Störrle, Harald and Kolovos, Dimitrios S.}, ee = {https://doi.org/10.1007/978-3-642-31491-9_26}, interhash = {d05979329f3b2e0a0ecef7aecb52c897}, intrahash = {f575a1199ebcd881b23da604d9c16257}, isbn = {978-3-642-31490-2}, keywords = {dblp}, pages = {340-351}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:30:47.000+0200}, title = {MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.}, url = {http://dblp.uni-trier.de/db/conf/ecmdafa/ecmfa2012.html#RadjenovicMPRMBK12}, volume = 7349, year = 2012 }