Extending Timed Automata for Compositional Modeling Healthy Timed Systems.
Víctor A. BrabermanAlfredo OliveroPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- timed automata
- model checking
- real time systems
- neural network
- information systems
- database systems
- complex systems
- reachability analysis
- database
- finite state machines
- computing systems
- theorem prover
- mathematical models
- retrieval systems
- learning systems
- management system
- artificial neural networks
- decision making
- computer vision
- artificial intelligence
- information retrieval
- real world