G. Behrmann is an author at Uppsala University specializing in computer science, system software, and systems engineering.
Top concepts
EngineeringVerificationFormal MethodsProcess ControlSystem SoftwareComputer ScienceReal-time SystemsFormal VerificationPerformance StudiesSystems Engineering
Publications per year
2000–2002
2
2
UPPAAL - Now, Next, and Future
Tobias Amnell, G. Behrmann, Johan Bengtsson et al. · 2000 · 21 citations
Rows per page
1–2 of 2