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