Peter Gorm Larsen

Industrial Deployment of Formal Methods: Trends and Challenges

Research output: ResearchBook chapter

  • J Fitzgerald
    J FitzgeraldUniversity of NewcastleUnited Kingdom
  • J C Bicarregui
    J C Bicarreguie-Science, OxfordUnited Kingdom
  • Peter Gorm Larsen
  • J C P Woodcock
    J C P WoodcockUniversity of YorkUnited Kingdom
Original languageEnglish
Title of host publicationThe DEPLOY book : Industrial deployment of system engineering methods providing high dependability and productivity
EditorsA Romanovsky, M Thomas
PublisherSpringer
Publication yearApr 2013
Chapter10
ISBN (print)978-3-642-33169-5
StatePublished - Apr 2013

See relations at Aarhus University Citationformats

ID: 48547125