Modeling and Verifying Real-Time Properties of Reactive Systems.

Fenglin Han Peter Herrmann Hien Le

Published in: ICECCS (2013)

Keyphrases

reactive systems
real time
model checking
real time systems
low cost
temporal logic
vision system
petri net
machine learning
knowledge representation
quality of service
network traffic
information flow
formal methods