Interval Approach to Parallel Timed Systems Verification.
Yuri G. KarpovDmitry SotnikovPublished in: PaCT (2003)
Keyphrases
- neural network
- computer systems
- high end
- processing units
- computing systems
- parallel processing
- distributed systems
- database
- intelligent systems
- automated verification
- formal methods
- parallel implementation
- model checking
- petri net
- complex systems
- management system
- expert systems
- case study
- website
- artificial intelligence
- data mining
- data sets
- real time