Peter Gorm Larsen

  1. 2014
  2. Published

    Co-simulation af cyber-physical systemer fra flyvevåbnet. / Wolff, Sune; Larsen, Peter Gorm.

    In: ITOS - Industriel Teknologi og Software, 10.2014, p. 14-15.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleCommunication

  3. 1994
  4. Published

    Formal and Informal Specifications of a Secure System Component : First Results in a Comparative Study. / Larsen, Peter Gorm; Fitzgerald, J. S.; Brookes, T. M.

    1994. Paper presented at Second International Symposium of Formal Methods Europe, Barcelona, Spain.

    Research output: Contribution to conferencePaperCommunication

  5. 1993
  6. Published

    FME'93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Proceedings, 19-23 April 1993, Odense, Denmark. / Larsen, Peter Gorm (Editor); Woodcock, J. C. P. (Editor).

    Berlin : Springer, 1993. 689 p.

    Research output: Book/anthology/dissertation/reportBookCommunication

  7. Published

    Første VDM-SL standard på vej. / Larsen, Peter Gorm.

    In: IT standardnyt : et nyhedsbrev om edb-standardisering, Vol. 4, No. 2, 1993, p. 14.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleCommunication