Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Bernhard Kaiser, Raphael Weber, Markus Oertel, Eckard Böde, Behrang Monajemi Nejad, Justyna Zander

Journal title: Complex Systems Informatics and Modeling Quarterly

Journal number: 4

Journal publisher: RTU Press

Published year: 2015

Published pages: 66-91

DOI identifier: 10.7250/csimq.2015-4.05

ISSN: 2255-9922