
Real-time, theory in practice
REX Workshop (1991 Mook, Netherlands), J. W. De Bakker, C. Huizing, W. P. De Roever
Details
- OL Work ID
- OL4287486W
Subjects
CongressesReal-time data processingMathematical Logic and Formal LanguagesSoftware engineeringComputer Communication NetworksComputer scienceLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesOperating systems (Computers)Operating SystemsSpecial Purpose and Application-Based Systems