Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models.

Mario Dal Cin Gábor Huszerl Konstantinos Kosmidis

Published in: HASE (1999)

Keyphrases

quantitative evaluation
complex systems
ground truth
mathematical models
ground truth data
probabilistic model
computational models
qualitative evaluation
management system
distributed systems
finite state machines
trading systems
physical systems
low level
computer systems