A Q-model approach to decomposition and aggregation of specifications of real-time systems

vastutusandmed
R. Paluoja
allikas
Proceedings of the 7th EUROMICRO Workshop on Real-Time Systems : Odense, Denmark, June 14-16, 1995
ilmumiskoht
Los Alamitos
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 213-221
konverentsi nimetus, aeg
7th EUROMICRO Workshop on Real-Time Systems, June 14-16, 1995
konverentsi toimumispaik
Odense, Denmark
keel
inglise
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.