Böde, Eckard, OFFIS - Institute for Information Technology, Oldenburg, Germany
-
No 4 (2015): Complex Systems Informatics and Modeling Quarterly - Articles
Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety
Abstract PDF
ISSN: 2255-9922