Automatic verification of real-tim systems using epsilon.
Jens Chr. GodskesenKim Guldstrand LarsenArne SkouPublished in: PSTV (1994)
Keyphrases
- database
- distributed systems
- complex systems
- image processing
- computer systems
- three dimensional
- real life
- intelligent systems
- management system
- special case
- experience gained
- systems require
- learning systems
- software engineering
- wireless sensor networks
- active learning
- image segmentation
- computer vision
- search engine
- information retrieval
- databases