prindi

Formal timing analysis of OMT designs using LIMITS

autor
Mõtus, Leo
Näks, Tõnu
vastutusandmed
L.Motus and T.Naks
allikas
Computer systems science and engineering
ajakirja aastakäik number kuu
Vol. 13
ilmumisaasta
1998
leheküljed
3, p. 161-170 : ill
märksõna
süsteemianalüüs
tarkvaratehnika
ISSN
0267-6192
märkused
Bibliogr.: 12 ref
keel
inglise
Mõtus, L., Näks, T. Formal timing analysis of OMT designs using LIMITS // Computer systems science and engineering (1998) Vol. 13, 3, p. 161-170 : ill.