Safraless Procedures for Timed Specifications.

Barbara Di Giampaolo Gilles Geeraerts Jean-François Raskin Nathalie Sznajder

Published in: FORMATS (2010)

Keyphrases

finite state machines
petri net
timed automata
delay insensitive
functional requirements
formal specification
software development
discrete event
specification language
genetic algorithm
distributed systems
expert systems
search algorithm
image sequences
high level
decision making
learning algorithm