Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications.
Ernst-Rüdiger OlderogMichael SchenkePublished in: STRICT (1995)
Keyphrases
- real time systems
- embedded systems
- embedded real time systems
- real time embedded
- user interface
- artificial intelligence
- architectural model
- timing constraints
- interface design
- open source
- case study
- real time
- software architecture
- functional requirements
- design process
- computational intelligence
- relational databases