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