Formal timing analysis of OMT designs using LIMITS
author
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
year of publication
pages
p. 137-144
ISBN
0-8186-8046-6
notes
Bibliogr. p. 144
language
inglise
Mõtus, L., Näks, T. Formal timing analysis of OMT designs using LIMITS // Third International Workshop on Object-Oriented Real-Time Dependable Systems, February5-7, 1997, Newport Beach, California, USA. Los Alamitos : IEEE Computer Society Press, 1997. p. 137-144.