1
Publications
92
Citations
1
H-Index
2002
Active since
Affiliations
Technical University of Darmstadt(Current)
Falk Fraikin is an author at Technical University of Darmstadt specializing in formal methods, computer engineering, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2002–2002
1
1
SeDiTeC-testing based on sequence diagrams
Falk Fraikin, Todd Leonhardt · 2002 · 92 citations
Software Maintenance, Engineering, Object-oriented Modeling +23
Rows per page
1–1 of 1