Julkaisun otsikon käännös | : Development of Controllers Using Simulink and Contract-Based Design. Chapter 8 |
---|
Boström, P.,
Huova, M., Olszewska, M.,
Linjama, M., Heikkilä, M., Sere, K. & Walden, M.,
2011,
Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (toim.). Hershey, PA:
IGI Global,
s. 151-169 Tutkimustuotos: Luku › Tieteellinen › vertaisarvioitu