Formal timing analysis of OMT designs using LIMITS
autor
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
ilmumisaasta
leheküljed
p. 137-144
ISBN
0-8186-8046-6
märkused
Bibliogr. p. 144
keel
inglise
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.