Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety (English)
Free access
- New search for: Kaiser, Bernhard
- New search for: Weber, Raphael
- New search for: Oertel, Markus
- New search for: Böde, Eckard
- New search for: Nejad, Behrang Monajemi
- New search for: Zander, Justyna
- New search for: Kaiser, Bernhard
- New search for: Weber, Raphael
- New search for: Oertel, Markus
- New search for: Böde, Eckard
- New search for: Nejad, Behrang Monajemi
- New search for: Zander, Justyna
- Article (Journal) / Electronic Resource
-
Title:Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety
-
Contributors:Kaiser, Bernhard ( author ) / Weber, Raphael ( author ) / Oertel, Markus ( author ) / Böde, Eckard ( author ) / Nejad, Behrang Monajemi ( author ) / Zander, Justyna ( author )
-
Publication date:2015-10-30
-
Remarks:doi:10.7250/csimq.2015-4.05
Complex Systems Informatics and Modeling Quarterly; No 4 (2015): Complex Systems Informatics and Modeling Quarterly; 66-91 ; 2255-9922 -
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 000
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 000 -
Source: