Timed Extensions for SDL.

Marius Bozga Susanne Graf Laurent Mounier Iulian Ober Jean-Luc Roux Daniel Vincent

Published in: SDL Forum (2001)

Keyphrases

petri net
efficient implementation
real time
default logic
timed automata
decision trees
relational databases
artificial neural networks
logic programs
finite state machines
default theories