Formal Description of Real-time Systems using SDL.

Mohamed Ashour Ferhat Khendek Tho Le-Ngoc

Published in: RTCSA (1999)

Keyphrases

real time systems
real time
embedded systems
distributed systems
real time database systems
mission critical
formal specification
timing constraints
architectural model
artificial intelligence
fine grained
cooperative
open source
anytime algorithms
real time embedded
object oriented programming language