Massimo Zendri

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2001
j1		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. STTT 3(3): 314-331 (2001)
	1999
c2		Hakim Kahlouche, César Viho, Massimo Zendri: Hardware Testing Using a Communication Protocol Conformance Testing Tool. TACAS 1999: 315-329
	1998
c1		Hakim Kahlouche, César Viho, Massimo Zendri: An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. IWTCS 1998: 211-226

Coauthor Index

Last update Tue May 21 10:02:06 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page