Inproceedings,

Verification of behavioural elements of UML models using B

, and .
SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, page 1546--1552. New York, NY, USA, ACM Press, (2005)
DOI: http://dx.doi.org/10.1145/1066677.1067024

Meta data

Tags

Users

  • @leonardo

Comments and Reviews