Analysis of Large Safety-Critical Systems: A quantitative Approach
Herbstritt, Marc and Wimmer, Ralf and Peikenkamp, Thomas and Böde, Eckard and Adelaide, Michael and Johr, Sven and Hermanns, Holger and Becker, Bernd
AVACS Technical Report
02 / 2006
1860-9821
techreport
ATR
SFB/TR 14 AVACS, http://www.avacs.org
8
