Contract-based design of control protocols for safety-critical cyber-physical systems

Autor:	Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli
Rok vydání:	2014
Zdroj:	Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::01c6aca47bb24e2f17b5c2faaee29edb https://doi.org/10.7873/date.2014.072 Zobrazit plný text záznamu