The earlier the better: a theory of timed actor interfaces.

Marc Geilen Stavros Tripakis Maarten Wiggers

Published in: HSCC (2011)

Keyphrases

theoretical framework
general theory
formal theory
knowledge base
evolutionary algorithm
logic programs
petri net
model checking
theoretical foundation
theoretical basis
database
neural network
learning algorithm
three dimensional
natural language