Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck. AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. In Isabelle M. Demeure, Thomas Robert, Ahmed Serhrouchni, editors, 11th Annual International Conference on New Technologies of Distributed Systems, NOTERE 2011, Paris, France, 9-13 May 2011. pages 1-10, IEEE, 2011. [doi]
No reviews for this publication, yet.