Improving the Verification of Timed Systems Using Influence Information.
Víctor A. BrabermanDiego GarbervetskyAlfredo OliveroPublished in: TACAS (2002)
Keyphrases
- information sources
- computer systems
- information content
- contextual information
- technical issues
- structural information
- learning systems
- web documents
- distributed systems
- mobile robot
- user interaction
- face recognition
- case study
- search engine
- petri net
- spatial information
- temporal information
- learning algorithm
- raw data
- information retrieval
- formal methods
- neural network