Birgit Grammel is an author at Roland Ernst Stiftung specializing in formal methods, software architecture, and automated reasoning.
Top concepts
EngineeringData ScienceSemantic WebData ModelingFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2008–2010
2
2
Rows per page
1–2 of 2