Features of integrated model-based co-modelling and co-simulation technology

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

  • Peter Gorm Larsen
  • John Fitzgerald, Newcastle University, United Kingdom, Jim Woodcock, York University, Carl Gamble, Newcastle University, United Kingdom, Richard Payne, The Nine Software Company, Kenneth Pierce, Newcastle University, United Kingdom
Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods - SEFM 2017 Collocated Workshops : DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers
EditorsAntonio Cerone, Marco Roveri
Number of pages14
Volume10729
PublisherSpringer
Publication year2018
Pages377-390
ISBN (print)9783319747804
ISBN (Electronic)978-3-319-74781-1
DOIs
Publication statusPublished - 2018
Event15th International Conference on Software Engineering and Formal Methods, SEFM 2017 - Trento, Italy
Duration: 4 Sep 20175 Sep 2017

Conference

Conference15th International Conference on Software Engineering and Formal Methods, SEFM 2017
LandItaly
ByTrento
Periode04/09/201705/09/2017
SeriesLecture Notes in Computer Science
Volume10729
ISSN0302-9743

    Research areas

  • Co-simulation, CPS engineering, Foundations, Methodology, Tool chain

See relations at Aarhus University Citationformats

ID: 128341184