On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks.
Alevtina B. GloninaVasily V. BalashovPublished in: Autom. Control. Comput. Sci. (2018)
Keyphrases
- computer systems
- real time
- computer networks
- operating system
- data processing
- hardware and software
- computing systems
- communication systems
- information processing systems
- information systems
- human beings
- control system
- computer architecture
- computer security
- computer hardware
- data acquisition
- low cost
- high end
- cellular automata
- regular expressions
- database systems