Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 16)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

9783030837228, 9783030837235
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Engineering of Digital Twins for Cyber-Physical Systems

2021 ◽  
pp. 49-53
Author(s):  
John Fitzgerald ◽  
Peter Gorm Larsen ◽  
Tiziana Margaria ◽  
Jim Woodcock
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
Digital Twins

Designing Distributed Control with Hybrid Active Objects

2021 ◽  
pp. 88-108
Author(s):  
Eduard Kamburjan ◽  
Rudolf Schlatte ◽  
Einar Broch Johnsen ◽  
Silvia Lizeth Tapia Tarifa
Keyword(s):  
Distributed Control ◽  
Active Objects

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

2021 ◽  
pp. 153-174
Author(s):  
Beidi Li ◽  
Rasmus O. Nielsen ◽  
Karsten W. Johansen ◽  
Jochen Teizer ◽  
Peter Gorm Larsen ◽  
...  
Keyword(s):  
Safety Analysis ◽  
Construction Site ◽  
Digital Twins

TraceVis: Towards Visualization for Deep Statistical Model Checking

2021 ◽  
pp. 27-46
Author(s):  
Timo P. Gros ◽  
David Groß ◽  
Stefan Gumhold ◽  
Jörg Hoffmann ◽  
Michaela Klauck ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking

Engineering a Digital Twin for Manual Assembling

2021 ◽  
pp. 140-152
Author(s):  
Alexandru Matei ◽  
Nicolae-Adrian Ţocu ◽  
Constantin-Bălă Zamfirescu ◽  
Arpad Gellert ◽  
Mihai Neghină
Keyword(s):  
Digital Twin

Towards a Digital Twin - Modelling an Agricultural Vehicle

2021 ◽  
pp. 109-123
Author(s):  
Frederik F. Foldager ◽  
Casper Thule ◽  
Ole Balling ◽  
PeterGorm Larsen
Keyword(s):  
Digital Twin ◽  
Agricultural Vehicle
Load More ...
Sign in / Sign up

Export Citation Format

Share Document