Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking.

Eduardo Rohde Eras, Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Jnior, Nandamudi Lankalapalli Vijaykumar

Browse the full ICCSA paper archive.