Specification of Realtime Systems Using ASTRAL.
Alberto Coen-PorisiniCarlo GhezziRichard A. KemmererPublished in: IEEE Trans. Software Eng. (1997)
Keyphrases
- real time
- learning systems
- building blocks
- management system
- advanced driver assistance systems
- computer systems
- expert systems
- case study
- website
- data sets
- video sequences
- data structure
- distributed systems
- information systems
- information retrieval
- wireless networks
- retrieval systems
- formal methods
- asynchronous circuits