A method and a tool for formal timing analysis of OMT design
author
statement of authorship
L. Motus, T. Näks
source
IFAC/IFIP 21st Workshop on Real-time Programming, Gramado, Brazil, November 1996
location of publication
[S.l.]
year of publication
pages
[25] p
language
inglise
Mõtus, L., Näks, T. A method and a tool for formal timing analysis of OMT design // IFAC/IFIP 21st Workshop on Real-time Programming, Gramado, Brazil, November 1996. [S.l.], 1996. [25] p.