Peter Gorm Larsen and Engineering - Free people check

(1 - 13 from 14

)

Formal Aspects of Software Engineering Colloquium

www.ist.tugraz.at

Peter Gorm Larsen, (IFAD, Denmark). Míchéal Mac an Airchinnigh, (Trinity College Dublin). José N. Oliveira, (University of Minho, Braga). Hans Zima, (University ...

Twitter Profile: Peter Gorm Larsen (petergormlarsen)

Location: Århus, Denmark / Professor at Aarhus University, Department of Engineering, heading software engineering. Prime interests include VDM, tool support and industrial applications.

Peter Larsen, MLIS, MA – University Libraries

web.uri.edu

Associate Professor, University Library - Head of Reference, Physical Sciences & Engineering Reference/Bibliographer; Office: 125 Library; Phone:

FM 2009: Formal Methods: Second World Congress, Eindhoven, The...

books.google.co.uk

Tool. Support. Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, and Peter Gorm Larsen Aarhus School of Engineering, Denmark , ...

Formal Methods and Software Engineering: 15th International...

books.google.ca

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand,...

Handbook of Research on Embedded Systems Design - Google Books

books.google.ca

As real-time and integrated systems become increasingly sophisticated, issues related to development life cycles, non-recurring engineering costs, and poor...

Interpreting Distributed System Architectures using VDM++ ...

redesign.esi.nl

Peter Gorm Larsen. Engineering College of Aarhus, Dalgas Avenue 2, DK-8000, Denmark . Abstract. The complexity of real-time embedded systems ...

Google Groups: CISM Course on Formalware Engineering - Formal Methods for ...

: P. Gorm Larsen - IFAD, Odense, Denmark 5 lectures on: Taking VDM from Theory ... John Fitzgerald and Peter Gorm Larsen: Modelling Systems -Practical Tools ...

Google Groups: FM'99 World Congress on Formal Methods: Call for Papers

: ... Louvain, Belgium *(Requirements Engineering); - Jean-Claude Laprie, Toulouse, France; - Peter Gorm Larsen, Odense, Denmark; - Shaoying Liu, Hiroshima, ...

Google Groups: [Haskell] Call for Papers: TTSS'10 (4th International Workshop on ...

: ... China Clemens Grelck University of Amsterdam, NL Ralf Huuck NICTA, Australia Peter Gorm Larsen Engineering College of Aarhus, DK Einar B. Johnsen ...