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

Formalizing and verifying compatibility and consistency of SysML blocks

Details

Publisher
Association for Computing Machinery
Copyright
Copyright © 2012 by ACM Inc.
ISSN
0163-5948
D.O.I.
10.1145/2237796.2237813
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/formalizing-and-verifying-compatibility-and-consistency-of-sysml-nZJXydzf3u