From timed scenarios to SDL: specification, implementation and testing of real-time systems.
Abdeslam En-NouaaryRachida DssouliFerhat KhendekPublished in: SDL Forum (1999)
Keyphrases
- real time systems
- timed automata
- real time embedded
- architectural model
- embedded systems
- distributed systems
- real time
- real time database systems
- reactive systems
- specification language
- object oriented programming language
- artificial intelligence
- code generation
- anytime algorithms
- formal specification
- model checking
- database systems
- high level