Article citationsMore>>

B. Prasanta, “Automated translation of UML models of architectures for verification and simulation using SPIN.,” 14th IEEE International Conference on Automated Software Engineering (ASE’99), pp. 102–109, 1999.

has been cited by the following article:

Follow SCIRP
Twitter Facebook Linkedin Weibo
Contact us
+1 323-425-8868
customer@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top