Franco Toto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2003–2005
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ETS | Coverage of formal properties based on a high-level fault model and functional ATPG. | Franco Fummi, Graziano Pravadelli, Franco Toto |
| 2003 | MEMOCODE | On the Use of a High-Level Fault Model to Check Properties Incompleteness. | Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto |