Login / Signup
Introducing probabilities in Statecharts to specify reactive systems for performance analysis.
Nandamudi Lankalapalli Vijaykumar
Solon Venâncio de Carvalho
Valéria Maria Barros de Andrade
Vakulathil Abdurahiman
Published in:
Comput. Oper. Res. (2006)
Keyphrases
</>
reactive systems
model checking
temporal logic
formal methods
petri net
information flow
control flow
state machines
real time
real time systems
probability theory
knowledge acquisition
communication networks
supply chain
probability distribution
knowledge base
data mining