Andrea Baldini;Alfredo Benso;Paolo Prinetto;Sergio Mo;Adrea Taddei
-;-;-;-;-
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)