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

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    John Fitzgerald, Newcastle University, Carl Gamble, Newcastle University,
  • Peter Gorm Larsen
  • Kenneth Pierce, Newcastle University, Jim Woodcock, University 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
Publication statusPublished - 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