Login / Signup

System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation.

Hubert GaravelCésar VihoMassimo Zendri
Published in: Int. J. Softw. Tools Technol. Transf. (2001)
Keyphrases