Peter Gorm Larsen

Peter Gorm Larsen

Aarhus University - Aarhus / Denmark
Others
AD Scientific Index ID: 1508502
Aarhus Universitet
person_outline Peter Gorm Larsen's MOST POPULAR ARTICLES
1-) Formal methods: Practice and experienceJ Woodcock, PG Larsen, J Bicarregui, J FitzgeraldACM computing surveys (CSUR) 41 (4), 1-36, 20099142009
2-) Systems of systems engineering: basic concepts, model-based techniques, and research directionsCB Nielsen, PG Larsen, J Fitzgerald, J Woodcock, J PeleskaACM Computing Surveys (CSUR) 48 (2), 1-41, 20155282015
3-) Modelling systems: practical tools and techniques in software developmentJ Fitzgerald, PG LarsenCambridge University Press, 1998516*1998
4-) Co-simulation: a surveyC Gomes, C Thule, D Broman, PG Larsen, H VangheluweACM Computing Surveys (CSUR) 51 (3), 1-33, 20184962018
5-) Validated Designs for Object-oriented SystemsJ Fitzgerald, PG Larsen, P Mukherjee, N Plat, M VerhoefSpringer, 20054352005