Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++., , and . FM, volume 4085 of Lecture Notes in Computer Science, page 147-162. Springer, (2006)Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems., , , , and . IFM, volume 6396 of Lecture Notes in Computer Science, page 12-26. Springer, (2010)Ten Years of Historical Development "Bootstrapping" VDMTools®.. J. Univers. Comput. Sci., 7 (8): 692-709 (2001)Digital twins for collaboration and self-integration., , , , , and . ACSOS-C, page 172-177. IEEE, (2021)Engineering of Digital Twins for Cyber-Physical Systems., , , and . ISoLA (4), volume 12479 of Lecture Notes in Computer Science, page 49-53. Springer, (2020)Towards a Digital Twin Framework for Autonomous Robots., , , , , and . COMPSAC, page 1254-1259. IEEE, (2021)Collaborative Modelling and Co-simulation in Engineering and Computing Curricula., , , , , , and . FISEE, volume 12271 of Lecture Notes in Computer Science, page 196-213. Springer, (2019)Demo: Stabilization Technique in INTO-CPS., , , , and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 45-51. Springer, (2018)Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins., , , , , and . SEFM Workshops, volume 13230 of Lecture Notes in Computer Science, page 238-244. Springer, (2021)Introducing Regression Tests and Upgrades to the INTO-CPS Application., , , , , and . SEFM, volume 12524 of Lecture Notes in Computer Science, page 311-317. Springer, (2020)