Andreas Johnsen is an author at Mälardalen University specializing in system software, formal methods, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceEmbedded SystemsProgram AnalysisSoftware TestingReal-time Systems
Publications per year
2012–2012
1
1
Automated Verification of AADL-Specifications Using UPPAAL
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson et al. · 2012 · 34 citations
Rows per page
1–1 of 1