Model Integrated Decomposition and Assisted Specification (MIDAS)-Reference-Cited by-同舟云学术

Model Integrated Decomposition and Assisted Specification (MIDAS)

Published:2020-07 Issue:1 Volume:30 Page:821-841
ISSN:2334-5837
Container-title:INCOSE International Symposium
language:en
Short-container-title:INCOSE International Symposium

Author:

Hall Brendan¹,Fiedor Jan²,Jeppu Yogananda³

Affiliation:

1. Advanced Technology, Honeywell Plymouth USA

2. Honeywell International s.r.o. Brno Czech Republic

3. Honeywell Technology Solutions Bangalore India

Publisher

Wiley

Subject

Automotive Engineering

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/j.2334-5837.2020.00757.x

Reference36 articles.

1. ‘2015 Seville Airbus A400M crash’ 2019 Wikipedia The Free Encyclopedia viewed 11 November 2019 .

2. Bhatt D Madl G Oglesby DandSchloegel K2010. ‘Towards Scalable Verification of Commercial Avionics Software’.AIAA Infotech@Aerospace 2010. Atlanta Georgia.

3. Bhatt D Murugesan A Hall B Ren HandJeppu Y2018. ‘The CLEAR Way To Transparent Formal Methods’.4th Workshop on Formal Integrated Development Environment. Oxford UK.

4. Model-Based System Specification With Tesperanto: Readable Text From Formal Graphics

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

1. Model‐Based Cybertronics Systems Engineering (MBCSE);INCOSE International Symposium;2024-07

2. An Approach to Integrated Digital Requirements Engineering;INCOSE International Symposium;2023-07

3. System verification via Model‐Checking: A case study of an autonomous multi‐differential drive robot;INCOSE International Symposium;2023-07

4. Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming;Electronic Proceedings in Theoretical Computer Science;2021-09-13