Beschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme (Specification and Verification of Spatio-Temporal Properties of Mobile Systems).
Andreas SchäferPublished in: it Inf. Technol. (2008)
Keyphrases
- temporal properties
- formal methods
- model checking
- formal verification
- asynchronous circuits
- temporal logic
- artificial intelligence
- high level
- distributed systems
- mobile phone
- formal specification
- building blocks
- knowledge based systems
- computing environments
- neural network
- case based reasoning
- spatio temporal
- machine learning
- data mining