Vincent Langenfeld is an author at University of Freiburg specializing in formal methods, software testing, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingReal-time SystemsSoftware Analysis
Publications per year
2019–2019
1
1
Scalable Analysis of Real-Time Requirements
Vincent Langenfeld, Daniel Dietsch, Bernd Westphal et al. · 2019 · 27 citations
Rows per page
1–1 of 1