Mattias Bjäde is an author at Volvo (Sweden) specializing in system software, formal methods, and formal verification.
Top concepts
EngineeringFormal MethodsSystem SoftwareSpace EngineeringFormal VerificationSystem-level DesignSystems EngineeringComputer EngineeringModular ConstructionComputer Architecture
Publications per year
2012–2012
1
1
Rows per page
1–1 of 1