On the use of model checking techniques for dependability evaluation

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Volumn , Issue , 2000, Pages 228-237

  Haverkort, Boudewijn R ^a   Hermanns, Holger ^a   Katoen, Joost Pieter ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; LINEAR SYSTEMS; MARKOV PROCESSES; MATHEMATICAL MODELS; PETRI NETS; RELIABILITY THEORY;

CONTINUOUS STOCHASTIC LOGIC; DEPENDABILITY MODELS; MODEL CHECKING TECHNIQUES; STOCHASTIC PROCESS ALGEBRA;

FORMAL LOGIC;

EID: 0034544334     PISSN: 10609857     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (24)