Optimal scheduler synthesis using cost optimal reachability analysis
autor
vastutusandmed
Juhan Ernits
ilmumiskoht
[S. l.]
ilmumisaasta
leheküljed
[1 p.]. (Student talks and posters 2005 (abstracts))
märkused
Bibliogr.: 3 ref
keel
inglise
Ernits, J. Optimal scheduler synthesis using cost optimal reachability analysis // Tenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 2005. [S. l.], 2005. [1 p.]. (Student talks and posters 2005 (abstracts)).