Stângaciu, Valentin; Micea, Mihai; Crețu, Vladimir Ioan; Datcu, O.
(Editura Politehnica, 2015)
This paper describes how the scheduling algorithms for real time applications can be specified formally and the development of a simulator that verifies if a set of tasks for a real time application can be scheduled with ...