-
411
GALDS a complete framework for designing multiclock ASICs and SoCs.
I publikationen IEEE Transactions on VLSI systemsArtikel -
412
-
413
A test generation strategy for pairwise testing.
I publikationen IEEE Transactions on software engineeringArtikel -
414
-
415
Formal analysis of a space-craft controller using SPIN.
I publikationen IEEE Transactions on software engineeringArtikel -
416
-
417
-
418
Design-for-testability for embedded delay-locked loops.
I publikationen IEEE Transactions on VLSI systemsArtikel -
419
-
420