1
Publications
64
Citations
1
H-Index
1995
Active since
Affiliations
Paolo Guisto is an author at Cadence Design Systems (United States) specializing in computer engineering, software engineering, and formal methods.
Top concepts
EngineeringFormal MethodsControl SystemsSoftware DesignSystem SoftwareComputer ScienceEmbedded SystemsHardware SystemsProgram AnalysisSoftware Systems
Publications per year
1995–1995
1
1
Synthesis of software programs for embedded control application
Massimiliano Chiodo, Paolo Guisto, Attila Jurecska et al. · 1995 · 64 citations
Rows per page
1–1 of 1