Development of a driverless lawn mower using co-simulation

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

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 pages15
Volume10729
PublisherSpringer
Publication year2018
Pages330-344
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, INTO-CPS, VDM-RT, Vehicle dynamics

See relations at Aarhus University Citationformats

ID: 128338567