Timed Automata Approach to Verification of Systems with Degradation.
Jiri BarnatIvana CernáJana TumovaPublished in: MEMICS (2011)
Keyphrases
- model checking
- timed automata
- automated verification
- computing systems
- formal methods
- management system
- neural network
- knowledge based systems
- intelligent systems
- image sequences
- information retrieval systems
- software engineering
- computer systems
- digital libraries
- building blocks
- retrieval systems
- temporal logic
- information retrieval
- machine learning
- asynchronous circuits
- data mining
- reachability analysis
- data sets