( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Data-Driven Reachability Analysis of Digital Twin FMI Models.

, , , и . ISoLA (4), том 13704 из Lecture Notes in Computer Science, стр. 139-158. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Robert Fitzgerald

Anne Fitzgerald

Ronald Fitzgerald

Marianne Fitzgerald

Justine Sayuri Fitzgerald

 

Другие публикации лиц с тем же именем

A Formal Model-Based Approach to Engineering Systems-of-Systems., , и . PRO-VE, том 380 из IFIP Advances in Information and Communication Technology, стр. 53-62. Springer, (2012)A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems., , , , , , , , и . SIMULTECH, стр. 263-270. ScitePress, (2020)Co-modelling of Faults and Fault Tolerance Mechanisms., , , и . Collaborative Design for Embedded Systems, Springer, (2014)Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM., , и . FM, том 5014 из Lecture Notes in Computer Science, стр. 181-197. Springer, (2008)Experiences in Developing a Proof Theory for VDM Specifications., и . Semantics of Specification Languages, стр. 101-117. Springer, (1993)A formal approach to collaborative modelling and co-simulation for embedded systems., , , и . Math. Struct. Comput. Sci., 23 (4): 726-750 (2013)Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design., , , , , и . ISoLA (2), том 9953 из Lecture Notes in Computer Science, стр. 171-186. (2016)Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study., , и . FME, том 1051 из Lecture Notes in Computer Science, стр. 214-227. Springer, (1996)Six Software Engineering Principles for Smarter Cyber-Physical Systems., , , , , , , , , и 1 other автор(ы). ACSOS-C, стр. 198-203. IEEE, (2021)Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems., , , и . Applicable Formal Methods for Safe Industrial Products, том 14165 из Lecture Notes in Computer Science, стр. 222-236. Springer, (2023)