Title: Real-time, theory in practice
Subjects: Congresses, Real-time data processing, Mathematical Logic and Formal Languages, Software engineering, Computer Communication Networks, Computer science, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Operating systems (Computers), Operating Systems, Special Purpose and Application-Based Systems