Items where Author is "Rungger, Matthias"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.

Article

Belta, Calin and Majumdar, Rupak and Zamani, Majid and Rungger, Matthias
(2017) Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).
Dagstuhl Reports, 7 (5). 84–96.

Tabuada, Paulo and Caliskan, Sina Yamac and Rungger, Matthias and Majumdar, Rupak
(2014) Towards Robustness for Cyber-Physical Systems.
IEEE Trans. Automat. Contr., 59 (12). 3151–3163.

This list was generated on Thu Apr 25 22:19:49 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.