Features of Integrated Model-Based Co-modelling and Co-simulation Technology-Reference-Cited by-同舟云学术

Features of Integrated Model-Based Co-modelling and Co-simulation Technology

Published:2018 Issue: Volume: Page:377-390
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Larsen Peter Gorm,Fitzgerald John,Woodcock Jim,Gamble Carl,Payne Richard,Pierce Kenneth

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-74781-1_26

Reference49 articles.

1. Lecture Notes in Computer Science;N Amálio,2016

2. Armstrong, A., Gomes, V., Struth, G.: Building program construction and verification tools from algebraic principles. Form. Asp. Comput. 28(2), 265–293 (2015)

3. Bagnato, A., Brosse, E., Quadri, I., Sadovykh, A.: The INTO-CPS cyber-physical system profile. In: DeCPS Workshop on Challenges and New Approaches for Dependable and Cyber-Physical System Engineering Focus on Transportation of the Future. Vienna, Austria, June 2017

4. Lecture Notes in Computer Science;MJ Banks,2010

5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JC Blanchette,2011

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

1. MYRTUS: Multi-layer 360° dYnamic orchestration and interopeRable design environmenT for compute-continUum Systems;Proceedings of the 21st ACM International Conference on Computing Frontiers: Workshops and Special Sessions;2024-05-07

2. Model‐driven engineering for simulation models interoperability: A case study in space industry;Software: Practice and Experience;2024-01-04

3. Engineering complexity beyond the surface: discerning the viewpoints, the drivers, and the challenges;Research in Engineering Design;2023-03-13

4. Modelling Train Driver Behaviour in Railway Co-simulations;Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops;2021

5. Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins;Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021