G. Papasso is an author at University of Bologna specializing in hardware security, computer engineering, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceMicroelectronicsSoftware TestingHardware SecurityAutomated ReasoningFormal VerificationComputer EngineeringComputer Architecture
Publications per year
2004–2004
1
1
A model for transient fault propagation in combinatorial logic
M. Omaña, G. Papasso, Daniele Rossi et al. · 2004 · 129 citations
Rows per page
1–1 of 1