PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Larsen, Peter Gorm"

Author of the publication

copydeleteadd this publication to your clipboard
Practice-oriented courses in formal methods using VDM++.

, , and . Formal Asp. Comput., 21 (3): 245-257 (2009)

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.

Elke Peter University of Stuttgart

Univ. -Prof. Dr. Rene Peters University of Stuttgart

Bernd Peters University of Stuttgart

Alexander Peter University of Stuttgart

Schmid. Peter

 

Other publications of authors with the same name

Methods for the Development of Distributed Real-Time Embedded Systems Using VDM., , and . Int. J. Software and Informatics, 3 (2-3): 305-341 (2009)Ten Years of Historical Development "Bootstrapping" VDMTools®.. J. UCS, 7 (8): 692-709 (2001)COMPASS tool vision for a system of systems Collaborative Development Environment., , , , , , , , , and 1 other author(s). SoSE, page 451-456. IEEE, (2012)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)Making specifications executable - Using IPTES Meta-IV., , , and . Microprocessing and Microprogramming, 35 (1-5): 521-528 (1992)Cyber-Physical Systems Engineering: An Introduction., , , , and . ISoLA (3), volume 11246 of Lecture Notes in Computer Science, page 407-410. Springer, (2018)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)