Toni Jussila is an author at Instituto de Física Teórica specializing in formal methods, formal verification, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisAutomated ReasoningComputer EngineeringCoding Theory
Publications per year
2005–2007
3
3
Model Checking Dynamic and Hierarchical UML State Machines
Toni Jussila, Jori Dubrovin, Tommi Junttila et al. · 2006 · 48 citations
Rows per page
1–3 of 3