Sign in
A Simulation Preorder for Abstraction of Reactive Systems.
Ferucio Laurentiu Tiplea
Aurora Tiplea
Published in:
VMCAI (2002)
Keyphrases
</>
reactive systems
high level
simulation model
temporal logic
databases
model checking
real time
machine learning
database systems
simulation environment
data model
network traffic
control flow