Towards the Verification of Pervasive Systems.
Myrto ArapinisMuffy CalderLouise A. DennisMichael FisherPhilip D. GraySavas KonurAlice MillerEike RitterMark RyanSven ScheweChris UnsworthRehana YasminPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)
Keyphrases
- complex systems
- building blocks
- distributed systems
- intelligent systems
- real time
- management system
- automated verification
- home environments
- asynchronous circuits
- model checking
- learning systems
- context aware
- knowledge based systems
- computer systems
- evolutionary algorithm
- expert systems
- decision trees
- machine learning
- real world
- neural network
- databases