A method and a tool for formal timing analysis of OMT design
Mõtus, Leo
;
Näks, Tõnu
IFAC/IFIP 21st Workshop on Real-time Programming, Gramado, Brazil, November 1996
1996
/
[25] p
https://www.sciencedirect.com/science/article/pii/S1474667017463476