Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems.
Nabil ZakhamaPascal EstraillierPublished in: RTS (1995)
Keyphrases
- real time systems
- distributed heterogeneous
- reactive systems
- distributed systems
- real time embedded
- data sources
- mission critical
- real time
- real time database systems
- formal language
- formal specification
- embedded systems
- formal methods
- high level
- timing constraints
- cooperative
- query processing
- rapid prototyping
- anytime algorithms
- multi agent
- database
- operational semantics
- distributed environment
- software engineering
- object oriented programming language