Marco Schiavoni is an author at Politecnico di Milano specializing in process control, program analysis, and system software.
Top concepts
EngineeringFormal MethodsProcess ControlSoftware DesignSystem SoftwareProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering
Publications per year
2002–2002
1
1
Deriving executable process descriptions from UML
Elisabetta Di Nitto, Luigi Lavazza, Marco Schiavoni et al. · 2002 · 64 citations
Rows per page
1–1 of 1