Verwendung von Zusicherungen in einem modellbasierten Entwicklungsprozess (Using Assertions and Watchdogs in a Model-Based Development Process)

Verfasser / Beitragende:
[Andreas Rau]
Ort, Verlag, Jahr:
2002
Enthalten in:
it - Information Technology (vormals it+ti), 44/3/2002(2002-03), 137
Format:
Artikel (online)
ID: 378714767