Subscribe to thousands of academic journals for just $40/month
Read and share the articles you need for your research, all in one place.

Towards a formal foundation of behavioral types for UML state-machines

Details

Publisher
Association for Computing Machinery
Copyright
Copyright © 2012 by ACM Inc.
ISSN
0163-5948
D.O.I.
10.1145/2237796.2237814
Publisher site
See Article on Publisher Site
Expand Tray Hide Tray

Loading next page...

End of preview. The entire article is 8 pages. Rent for Free

 
/lp/association-for-computing-machinery/towards-a-formal-foundation-of-behavioral-types-for-uml-state-machines-3PGalB9zfZ