Login / Signup
Analysis of the Impact of Implied Scenarios on the Reliability of Computational Concurrent Systems.
Alexandre Vaz Roriz
Genaína Nunes Rodrigues
Luiz A. Laranjeira
Published in:
SBCARS (2014)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
process algebra
model checking
formal specification
petri net
failure rate
real world
computational power
transition systems
database
genetic algorithm
business process
reliability analysis