A Timed Calculus for ATG-Based Timing Analysis with Complex Gates.

José Luís Güntzel Ana Cristina Medina Pinto Ricardo Reis

Published in: LATW (2001)

Keyphrases

timed automata
real world
petri net
high level
complex data
database
image processing
multi agent
natural language
high speed
complex systems
complex environments
discrete event