La verifica delle proprietà formali
Dalla rivista:
Elettronica Oggi
Pubblicato il 12 ottobre 2004
L’incessante crescere del numero delle funzioni integrate nei sistemi impone l’adozione di tecniche di collaudo più efficaci, come la FPV