Auflistung nach Autor "Kaiser, Bernhard"
Anzeige der Dokumente 1-2 von 2
-
Lightweight contracts for safety-critical automotive systems
Kaiser, Bernhard; Sonski, Stefan; Buono, Suryo; Petersen, Hauke; Zander, Justyna
1595-1607 -
Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts
Grabowski, Markus; Kaiser, Bernhard; Bai, Yu
245-260