F. Toma is an author at University of Bologna specializing in formal methods, formal verification, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceMicroelectronicsSoftware TestingHardware SecurityBuilt-in Self-testParallel ComputingFormal Verification
Publications per year
2006–2006
1
1
Multiple transient faults in logic: an issue for next generation ICs?
Daniele Rossi, M. Omaña, F. Toma et al. · 2006 · 86 citations
Engineering, Hardware Verification Language, Verification +22
Rows per page
1–1 of 1