A formal proof of the deadline driven scheduler
International Institute for Software Technology
1994

Details

Symbol***
TitleA formal proof of the deadline driven scheduler
Call number
UNU/IIST(05)/R425/no.16
AuthorsInternational Institute for Software Technology
Series
DateTokyo : UN University : International Institute for Software Technology, Feb. 1994
Description
i, 23 p.
CollectionsUN Bodies > Research and Training Institutions > United Nations University (UNU)
Resource Type > Documents and Publications > Reports

Browse Subjects

Show more subjects...