Complex Systems Informatics and Modeling Quarterly

Weber, Raphael, 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