A Unified Approach for Modeling, Developing, and Assuring Critical Systems-Reference-Cited by-同舟云学术

A Unified Approach for Modeling, Developing, and Assuring Critical Systems

Published:2018 Issue: Volume: Page:225-245
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Modeling
language:
Short-container-title:

Author:

Hatcliff John,Larson Brian R.,Belt Jason,Robby ,Zhang Yi

Publisher

Springer International Publishing

Link

Reference32 articles.

2. Amyot, D.: jUCMNav - Eclipse Plugin for the User Requirements Notation (2018). http://jucmnav.softwareengineering.ca/foswiki/ProjetSEG/WebHome

3. AVSI: System Architecture Virtual Integration (SAVI) Initiative (2012). https://wiki.sei.cmu.edu/aadl/index.php/Projects_and_Initiatives#AVSI_SAVI

4. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley, Boston (2005)

5. Joint Commission: Preventing patient-controlled analgesia overdose. Joint Commission Perspectives on Patient Safety, p. 11, October 2005

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction);Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018