Marius Greitschus is an author at University of Freiburg specializing in formal methods, engineering, and formal verification.
Top concepts
EngineeringFormal MethodsFormal VerificationSystems EngineeringDesignSimulationVerificationHybrid SystemsComputer ScienceSoftware Testing
Publications per year
2015–2015
2
2
Rows per page
1–2 of 2