Massimo Zendri

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

Publications

Hubert Garavel, César Viho, Massimo Zendri
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. Int. J. Softw. Tools Technol. Transf. 3 (3) (2001)
Hakim Kahlouche, César Viho, Massimo Zendri
Hardware Testing Using a Communication Protocol Conformance Testing Tool. TACAS (1999)
Hakim Kahlouche, César Viho, Massimo Zendri
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. IWTCS (1998)