George Ungureanu, Ingo Sander
A layered formal framework for modeling of cyber-physical systems
DATE, 2017.
@inproceedings{DATE-2017-UngureanuS,
author = "George Ungureanu and Ingo Sander",
booktitle = "{Proceedings of the 21st Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.23919/DATE.2017.7927270",
isbn = "978-3-9815370-8-6",
pages = "1715--1720",
publisher = "{IEEE}",
title = "{A layered formal framework for modeling of cyber-physical systems}",
year = 2017,
}