Towards proof rules for the full standard vdm specification language

von Larsen, Peter Gorm
Veröffentlicht 1995

Modelling systems : practical tools and techniques in software development

von Fitzgerald, John
Veröffentlicht 1998

Collaborative design for embedded systems : co-modelling and co-simulation

Veröffentlicht 2014

Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems

von Larsen, Peter Gorm
Veröffentlicht in Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products (2023)

Engineering of Digital Twins for Cyber-Physical Systems

von Fitzgerald, John
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)

MODEL-BASED MONITORING AND STATE ESTIMATION FOR DIGITAL TWINS: THE KALMAN FILTER

von Feng, Hao
Veröffentlicht in Annual Modeling and Simulation Conference (2021 : Online) Annual Modeling and Simulation Conference (ANNSIM 2021) (2021)

Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins

von Woodcock, Jim
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)

Migrating the INTO-CPS Application to the Cloud

von Macedo, Hugo Daniel
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Engineering of Digital Twins for Cyber-Physical Systems

von Fitzgerald, John
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)

Generation of Co-simulation Algorithms Subject to Simulator Contracts

von Gomes, Cláudio
Veröffentlicht in CoSim-CPS (3. : 2019 : Oslo) Software engineering and formal methods (2020)

SYNTHESIZING CO-SIMULATION ALGORITHMS WITH STEP NEGOTIATION AND ALGEBRAIC LOOP HANDLING

von Hansen, Simon
Veröffentlicht in Annual Modeling and Simulation Conference (2021 : Online) Annual Modeling and Simulation Conference (ANNSIM 2021) (2021)

Towards a Static Check of FMUs in VDM-SL

von Battle, Nick
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?

von Feng, Hao
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2022)

Digital Twins for Organ Preservation Devices

von Buhagiar, Aaron John
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)

Towards Secure Digital Twins

von Kulik, Tomas
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)

On the Design of a New Software Engineering Curriculum in Computer Engineering

von Hallerstede, Stefan
Veröffentlicht in Frontiers in software engineering education (2020)

A Universal Mechanism for Implementing Functional Mock-up Units

von Legaard, Christian Møldrup
Veröffentlicht in SIMULTECH (11. : 2021 : Online) SIMULTECH 2021 (2021)

Introducing Regression Tests and Upgrades to the INTO-CPS Application

von Talasila, Prasad
Veröffentlicht in ASYDE (2. : 2020 : Online) Software engineering and formal methods (2021)

THE EFFECT AND SELECTION OF SOLUTION SEQUENCE IN CO-SIMULATION

von Inci, Emin
Veröffentlicht in Annual Modeling and Simulation Conference (2021 : Online) Annual Modeling and Simulation Conference (ANNSIM 2021) (2021)

Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site

von Li, Beidi
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)