The course is also offered to the students of the fields other than those the course is directly associated with.
Fields of study the course is directly associated with
there are 18 fields of study the course is directly associated with, display
At the end of the course students should: know specific aspects of
real-time systems; understand main problems of the design of real-time
systems and know some solutions; be able to use formal reasoning about
Real-time aspects of embedded systems; examples of real-time systems. Soft and hard real-time systems.
ACETO, Luca, Anna INGOLFSDOTTIR, Kim Guldstrand LARSEN and Jiří SRBA. Reactive Systems: Modelling, Specification and Verification. 1. vyd. Cambridge, UK: Cambridge University Press, 2007. 300 pp. Cambridge University Press. ISBN 978-0-521-87546-2. URLinfo