prindi

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
Mõtus, L., Näks, T. Formal timing analysis of OMT designs using LIMITS // Third International Workshop on Object-Oriented Real-Time Dependable Systems, February5-7, 1997, Newport Beach, California, USA. Los Alamitos : IEEE Computer Society Press, 1997. p. 137-144.