A method and a tool for formal timing analysis of OMT design
autor
Mõtus, Leo
Näks, Tõnu
vastutusandmed
L. Motus, T. Näks
allikas
IFAC/IFIP 21st Workshop on Real-time Programming, Gramado, Brazil, November 1996
ilmumiskoht
[S.l.]
ilmumisaasta
1996
leheküljed
[25] p
keel
inglise