Model-based construction and verification of critical systems using composition and partial refinement

• 作者Ralph D. Jeffords; Constance L. Heitmeyer; Myla M. Archer; Elizabeth I. Leonard
• 卷第37卷
• 印刷ISSN0925-9856
• 电子ISSN1572-8102
• 文件大小1152.79KB
• 发表时间2010-12
• DOI10.1007/s10703-010-0106-9
• 页码265-294