Reliability Analysis of Concurrent Systems Using LTSA.

Genaína Nunes Rodrigues David S. Rosenblum Jonas Wolf

Published in: ICSE Companion (2007)

Keyphrases

reliability analysis
concurrent systems
temporal logic
distributed systems
process algebra
petri net
formal specification
model checking
manifold learning
transition systems
decision trees
expert systems
object oriented
optimization model