( en | de | ru )

 

Disambiguation of "Larsen, Peter Gorm"

Author of the publication

copydeleteadd this publication to your clipboard
Combining VDM-SL Specifications with C++ Code.

, and . FME, volume 1051 of Lecture Notes in Computer Science, page 179-194. Springer, (1996)

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

Patrick Larsen

 

Other publications of authors with the same name

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)Methods for the Development of Distributed Real-Time Embedded Systems Using VDM., , and . Int. J. Softw. Informatics, 3 (2-3): 305-341 (2009)From Embedded to Cyber-Physical Systems: Challenges and Future Directions., , and . Collaborative Design for Embedded Systems, Springer, (2014)Discrete-Event Modelling in VDM., , , and . Collaborative Design for Embedded Systems, Springer, (2014)Deploying Co-modelling in Commercial Practice., , and . Collaborative Design for Embedded Systems, Springer, (2014)Co-model Structuring and Design Patterns., , and . Collaborative Design for Embedded Systems, Springer, (2014)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)Making specifications executable - Using IPTES Meta-IV., , , and . Microprocess. Microprogramming, 35 (1-5): 521-528 (1992)Ten Years of Historical Development "Bootstrapping" VDMTools®.. J. Univers. Comput. Sci., 7 (8): 692-709 (2001)The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA., and . J. Log. Algebraic Methods Program., 85 (5): 985-998 (2016)