Formal timing analysis of OMT designs using LIMITS
author
Mõtus, Leo
Näks, Tõnu
statement of authorship
L.Motus, T.Naks
source
Third International Workshop on Object-Oriented Real-Time Dependable Systems, February5-7, 1997, Newport Beach, California, USA
location of publication
Los Alamitos
publisher
IEEE Computer Society Press
year of publication
1997
pages
p. 137-144
url
https://ieeexplore.ieee.org/document/609944
subject term
reaalajasüsteemid
objektorienteeritud meetodid
modelleerimine (teadus)
tarkvaratehnika
ISBN
0-8186-8046-6
notes
Bibliogr. p. 144
language
inglise