HEAVEN: A Framework for the Refinement of Heterogeneous Systems.

Rüdiger Schroll Christoph Grimm Klaus Waldschmidt

Published in: FDL (2004)

Keyphrases

heterogeneous systems
distributed architecture