Multi-formalism modelling and model transformation for the design of reactive systems.

Thomas Huining Feng Miriam Zia Hans Vangheluwe

Published in: SCSC (2007)

Keyphrases

probabilistic model
reactive systems
probability distribution
conceptual model
formal model
information flow
computational model
software architecture