A Formal Approach for Timed Weighted T-Systems.

Benoit Trouillet

Published in: SMC (2007)

Keyphrases

complex systems
management system
building blocks
petri net
finite state machines
database systems
video sequences
digital libraries
scheduling problem
intelligent systems
formal model
formal specification
mathematical theory