Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems.
Jonathan S. OstroffWalter Murray WonhamPublished in: RTSS (1987)
Keyphrases
- computer systems
- real time embedded
- hardware and software
- operating system
- real time systems
- computing systems
- data processing
- real time
- information systems
- computer architecture
- communication systems
- computer networks
- computer technology
- digital signal processor
- computer security
- embedded systems
- computer hardware
- information processing systems
- high end
- model checking
- case study
- database
- human beings
- knowledge based systems
- software developers
- user interface
- intrusion detection system
- distributed systems