Eduardo Rohde Eras, Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Junior, Nandamudi Lankalapalli Vijaykumar. Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Maria Torre, David Taniar, Bernady O. Apduhan, editors, Computational Science and Its Applications - ICCSA 2015 - 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV. Volume 9158 of Lecture Notes in Computer Science, pages 612-627, Springer, 2015. [doi]
Abstract is missing.