Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

Research output: Research - peer-reviewArticle in proceedings

DOI

  • John Fitzgerald
    John FitzgeraldNewcastle University
  • Carl Gamble
    Carl GambleNewcastle University
  • Peter Gorm Larsen
  • Kenneth Pierce
    Kenneth PierceNewcastle University
  • Jim Woodcock
    Jim WoodcockUniversity of York
Original languageEnglish
Title of host publicationProceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Number of pages7
PublisherIEEE
Publication year2015
Pages40-46
ISBN (print)978-1-4799-1934-5
DOIs
StatePublished - 2015
Event3rd FME Workshop on Formal Methods in Software Engineering - Florence, Italy
Duration: 18 May 201518 May 2015

Workshop

Workshop3rd FME Workshop on Formal Methods in Software Engineering
LandItaly
ByFlorence
Periode18/05/201518/05/2015

Bibliographical note

This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.

See relations at Aarhus University Citationformats

ID: 87211648