Martin Groessl

Dependable Systems Modeling and Reliability Property Evaluation by Model Checking

2015

Modeling for dependability is an established method in the domain of information systems. Most approaches dealing with structural or probabilistic modeling do not consider time information. This paper presents an approach for modeling dependable information …