共 50 条
- [41] Model-based development: Combining engineering approaches and formal techniques Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3308 : 1 - 2
- [42] Model-based development:: Combining engineering approaches and formal techniques FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 1 - 2
- [43] Model-Based Systems Engineering in Support of Complex Systems Development JOHNS HOPKINS APL TECHNICAL DIGEST, 2013, 32 (01): : 419 - 432
- [44] A Formal Model-Based Approach to Engineering Systems-of-Systems COLLABORATIVE NETWORKS IN THE INTERNET OF SERVICES, 2012, 380 : 53 - 62
- [45] Model-based systems engineering in support of complex systems development Johns Hopkins APL Technical Digest (Applied Physics Laboratory), 2013, 32 (01): : 419 - 432
- [46] Model-Based Systems Engineering: An Emerging Approach for Modern Systems IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2012, 42 (01): : 101 - 111
- [47] Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems 3RD INTERNATIONAL CONFERENCE ON SYSTEM-INTEGRATED INTELLIGENCE: NEW CHALLENGES FOR PRODUCT AND PRODUCTION ENGINEERING, 2016, 26 : 428 - 435
- [50] Model-based approaches for validating business critical systems ELEVENTH ANNUAL INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE, PROCEEDINGS, 2004, : 225 - 233