Login / Signup
Completeness in Statechart Models for Reactive Systems.
Vangalur S. Alagar
Fangqing Dong
Ramesh Achuthan
Published in:
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems (1993)
Keyphrases
</>
reactive systems
complex systems
model checking
statistical models
real time
databases
machine learning
petri net
development process