Specification Theories for Probabilistic and Real-Time Systems.
Uli FahrenbergAxel LegayLouis-Marie TraonouezPublished in: FPS@ETAPS (2014)
Keyphrases
- real time systems
- reactive systems
- real time
- distributed systems
- embedded systems
- probabilistic model
- real time database systems
- mission critical
- probability theory
- real time embedded
- timing constraints
- embedded real time systems
- bayesian networks
- database
- formal specification
- knowledge representation
- mobile devices
- artificial neural networks
- anytime algorithms
- high level
- artificial intelligence
- object oriented programming language