Formal timing analysis of OMT designs using LIMITS
autor
Mõtus, Leo
Näks, Tõnu
vastutusandmed
L.Motus, T.Naks
allikas
Third International Workshop on Object-Oriented Real-Time Dependable Systems, February5-7, 1997, Newport Beach, California, USA
ilmumiskoht
Los Alamitos
kirjastus/väljaandja
IEEE Computer Society Press
ilmumisaasta
1997
leheküljed
p. 137-144
ISBN
0-8186-8046-6
märkused
Bibliogr. p. 144