Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models

CímQuantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
Közlemény típusaConference Paper
Kiadás éve1999
SzerzőkDal Cin, M., Huszerl, G., and Kosmidis, K.
Konferencia neveProc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE'99)
Kiadás dátuma1999
KiadóIEEE Computer Society Press