%0 Conference Paper %1 conf/iccsa/ErasSJV15 %A Eras, Eduardo Rohde %A dos Santos, Luciana Brasil Rebelo %A de Santiago Júnior, Valdivino Alexandre %A Vijaykumar, Nandamudi Lankalapalli %B ICCSA (4) %D 2015 %E Gervasi, Osvaldo %E Murgante, Beniamino %E Misra, Sanjay %E Gavrilova, Marina L. %E Rocha, Ana Maria Alves Coutinho %E Torre, Carmelo Maria %E Taniar, David %E Apduhan, Bernady O. %I Springer %K dblp %P 612-627 %T Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking. %U http://dblp.uni-trier.de/db/conf/iccsa/iccsa2015-4.html#ErasSJV15 %V 9158 %@ 978-3-319-21409-2

@inproceedings{conf/iccsa/ErasSJV15, added-at = {2020-10-25T00:00:00.000+0200}, author = {Eras, Eduardo Rohde and dos Santos, Luciana Brasil Rebelo and de Santiago Júnior, Valdivino Alexandre and Vijaykumar, Nandamudi Lankalapalli}, biburl = {https://www.bibsonomy.org/bibtex/2b41a7891fabb61a244dfc328d260278a/dblp}, booktitle = {ICCSA (4)}, crossref = {conf/iccsa/2015-4}, editor = {Gervasi, Osvaldo and Murgante, Beniamino and Misra, Sanjay and Gavrilova, Marina L. and Rocha, Ana Maria Alves Coutinho and Torre, Carmelo Maria and Taniar, David and Apduhan, Bernady O.}, ee = {https://doi.org/10.1007/978-3-319-21410-8_47}, interhash = {4c7c7882a0f72a08ccdcd50ec00470a2}, intrahash = {b41a7891fabb61a244dfc328d260278a}, isbn = {978-3-319-21409-2}, keywords = {dblp}, pages = {612-627}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:43:08.000+0200}, title = {Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/iccsa/iccsa2015-4.html#ErasSJV15}, volume = 9158, year = 2015 }