From post

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.

 

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

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