1
Publications
13
Citations
1
H-Index
2003
Active since
Affiliations
L. Zoccolante is an author at International Centre for Mechanical Sciences specializing in formal specification, formal logic, and system software.
Top concepts
EngineeringFormal LogicVerificationFormal MethodsSystem SoftwareComputer ScienceReal-time SystemsSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2003–2003
1
1
TRIO, a logic formalism for the specification of real-time systems
Angelo Morzenti, Elena Ratto, M. Roncato et al. · 2003 · 13 citations
Rows per page
1–1 of 1