dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Peter Gorm Larsen (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen: Combining VDM with Executable Code. ABZ 2012: 266-279
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth Lausdahl, Peter Gorm Larsen, Nick Battle: A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. ICFEM 2011: 179-194
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Gorm Larsen, Kenneth Lausdahl, Nick Battle: Combinatorial Testing for VDM. SEFM 2010: 278-285
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef: The overture initiative integrating tools for VDM. ACM SIGSOFT Software Engineering Notes 35(1): 1-6 (2010)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen: Connecting UML and VDM++ with Open Tool Support. FM 2009: 563-578

Selection of 5 from 44 records - Peter Gorm Larsen has 36 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page