A Q-model approach to decomposition and aggregation of specifications of real-time systems
author
Paluoja, Rein
statement of authorship
R. Paluoja
source
Proceedings of the 7th EUROMICRO Workshop on Real-Time Systems : Odense, Denmark, June 14-16, 1995
location of publication
Los Alamitos
publisher
IEEE
year of publication
1995
pages
p. 213-221
conference name, date
7th EUROMICRO Workshop on Real-Time Systems, June 14-16, 1995
conference location
Odense, Denmark
subject term
reaalajasüsteemid
mudelid
language
inglise