A Formal Methodology to Test Complex Heterogeneous Systems.

Ismael Rodríguez Manuel Núñez

Published in: ATVA (2007)

Keyphrases

heterogeneous systems
distributed architecture
high level
computing systems