A Q-model approach to decomposition and aggregation of specifications of real-time systems
author
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
year of publication
pages
p. 213-221
conference name, date
7th EUROMICRO Workshop on Real-Time Systems, June 14-16, 1995
conference location
Odense, Denmark
language
inglise
subject term
Paluoja, R. A Q-model approach to decomposition and aggregation of specifications of real-time systems // Proceedings of the 7th EUROMICRO Workshop on Real-Time Systems : Odense, Denmark, June 14-16, 1995. Los Alamitos : IEEE, 1995. p. 213-221.