Formal Modelling and Verification of Real-Time Self-Adaptive Systems.
Franco CicirelliLibero NigroFrancesco PupoPublished in: DS-RT (2019)
Keyphrases
- real time
- formal methods
- safety critical
- formal analysis
- distributed systems
- telecommunication systems
- automated verification
- asynchronous circuits
- complex systems
- management system
- data sets
- high speed
- information retrieval systems
- vision system
- learning systems
- knowledge base
- model checking
- search engine
- artificial intelligence
- real time systems
- information retrieval
- machine learning
- neural network