A formal framework to specify and verify real-time properties on critical systems.
Nouha AbidSilvano Dal-ZilioDidier Le BotlanPublished in: Int. J. Crit. Comput. Based Syst. (2014)
Keyphrases
- real time
- main contribution
- key properties
- probabilistic model
- management system
- distributed systems
- real time systems
- high speed
- conceptual framework
- theoretical framework
- complex systems
- neural network
- database
- formal methods
- formal model
- data acquisition
- retrieval systems
- computer vision
- computer systems
- vision system
- low cost
- expert systems