%0 Journal Article %1 journals/csimq/KaiserWOBNZ15 %A Kaiser, Bernhard %A Weber, Raphael %A Oertel, Markus %A Böde, Eckard %A Nejad, Behrang Monajemi %A Zander, Justyna %D 2015 %J Complex Syst. Informatics Model. Q. %K dblp %P 66-91 %T Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety. %U http://dblp.uni-trier.de/db/journals/csimq/csimq4.html#KaiserWOBNZ15 %V 4

@article{journals/csimq/KaiserWOBNZ15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Kaiser, Bernhard and Weber, Raphael and Oertel, Markus and Böde, Eckard and Nejad, Behrang Monajemi and Zander, Justyna}, biburl = {https://www.bibsonomy.org/bibtex/2e2371c5516419d028a30dd16fa4a1841/dblp}, ee = {https://doi.org/10.7250/csimq.2015-4.05}, interhash = {fb6e828bc1a8f8114bf87bf8a2b69231}, intrahash = {e2371c5516419d028a30dd16fa4a1841}, journal = {Complex Syst. Informatics Model. Q.}, keywords = {dblp}, pages = {66-91}, timestamp = {2024-04-09T01:06:36.000+0200}, title = {Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety.}, url = {http://dblp.uni-trier.de/db/journals/csimq/csimq4.html#KaiserWOBNZ15}, volume = 4, year = 2015 }