Separating functionality, behavior and timing in the design of reactive systems : (GAMMA + coordination) + time

M.R. Mousavi, T. Basten, M.A. Reniers, M.R.V. Chaudron, G. Russello

Onderzoeksoutput: Boek/rapportRapportAcademic

87 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's95
StatusGepubliceerd - 2002

Publicatie series

NaamComputer science reports
Volume0209
ISSN van geprinte versie0926-4515

Citeer dit