Login / Signup
Compositional Specification of Timed Systems (Extended Abstract).
Joseph Sifakis
Sergio Yovine
Published in:
STACS (1996)
Keyphrases
</>
extended abstract
computing systems
evolutionary algorithm
genetic algorithm
decision making
high level
video sequences
distributed systems
knowledge based systems
learning systems
formal methods
reactive systems
dynamic constraints