Logic Based Abstractions of Real-Time Systems.
Roberto BarbutiNicoletta De FrancescoAntonella SantoneGigliola VagliniPublished in: Formal Methods Syst. Des. (2000)
Keyphrases
- real time systems
- distributed systems
- real time
- embedded systems
- real time database systems
- high level
- mission critical
- knowledge representation
- architectural model
- anytime algorithms
- database
- database management systems
- dynamic programming
- web services
- computer science
- database systems
- real time embedded
- object oriented programming language