2
Publications
25
Citations
2
H-Index
2009
Active since
Affiliations
Anton Yrjönen is an author at VTT Technical Research Centre of Finland specializing in formal methods, system software, and formal verification.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2009–2010
2
2
Rows per page
1–2 of 2