( en | de | ru )

 

Disambiguation of "Larsen, Peter Gorm"

Author of the publication

copydeleteadd this publication to your clipboard
Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems.

, , and . MODELSWARD, page 209-216. SciTePress, (2014)

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.

Peter Larsen

Gorm Grimm

Jens Peter Larsen

Gerhard Görmar

Reinhard Larsen

 

Other publications of authors with the same name

Ten Years of Historical Development "Bootstrapping" VDMTools®.. J. Univers. Comput. Sci., 7 (8): 692-709 (2001)Engineering of Digital Twins for Cyber-Physical Systems., , , and . ISoLA (4), volume 12479 of Lecture Notes in Computer Science, page 49-53. Springer, (2020)Digital twins for collaboration and self-integration., , , , , and . ACSOS-C, page 172-177. IEEE, (2021)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)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)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)Demo: Stabilization Technique in INTO-CPS., , , , and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 45-51. Springer, (2018)Development of a Driverless Lawn Mower Using Co-simulation., , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 330-344. Springer, (2017)Formal and Informal Specifications of a Secure System Component: first results in a comparative study., , , and . FME, volume 873 of Lecture Notes in Computer Science, page 35-44. Springer, (1994)