Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The overture initiative integrating tools for VDM.

P. Larsen, N. Battle, M. Ferreira, J. Fitzgerald, K. Lausdahl, und M. Verhoef. ACM SIGSOFT Software Engineering Notes, 35 (1): 1-6 (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

Weitere Publikationen von Autoren mit dem selben Namen

Methods for the Development of Distributed Real-Time Embedded Systems Using VDM.P. Larsen, J. Fitzgerald, und S. Wolff. Int. J. Software and Informatics, 3 (2-3): 305-341 (2009)Ten Years of Historical Development "Bootstrapping" VDMTools®.P. Larsen. J. UCS, 7 (8): 692-709 (2001)COMPASS tool vision for a system of systems Collaborative Development Environment.J. Coleman, A. Malmos, P. Larsen, J. Peleska, R. Hainsz, Z. Andrews, R. Payne, S. Foster, A. Miyazawa, C. Bertolinik und 1 andere Autor(en). SoSE, Seite 451-456. IEEE, (2012)From Embedded to Cyber-Physical Systems: Challenges and Future Directions.J. Fitzgerald, P. Larsen, und M. Verhoef. Collaborative Design for Embedded Systems, Springer, (2014)Discrete-Event Modelling in VDM.P. Larsen, J. Fitzgerald, M. Verhoef, und K. Pierce. Collaborative Design for Embedded Systems, Springer, (2014)Deploying Co-modelling in Commercial Practice.S. Wolff, P. Larsen, und M. Verhoef. Collaborative Design for Embedded Systems, Springer, (2014)Co-model Structuring and Design Patterns.K. Pierce, P. Larsen, und J. Fitzgerald. Collaborative Design for Embedded Systems, Springer, (2014)Making specifications executable - Using IPTES Meta-IV.M. Andersen, R. Elmstrøm, P. Lassen, und P. Larsen. Microprocessing and Microprogramming, 35 (1-5): 521-528 (1992)Cyber-Physical Systems Engineering: An Introduction.J. Gibson, P. Larsen, M. Pantel, J. Fitzgerald, und J. Woodcock. ISoLA (3), Volume 11246 von Lecture Notes in Computer Science, Seite 407-410. Springer, (2018)Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.M. Verhoef, P. Larsen, und J. Hooman. FM, Volume 4085 von Lecture Notes in Computer Science, Seite 147-162. Springer, (2006)