1
Publications
22
Citations
1
H-Index
2003
Active since
Affiliations
Dulz is an author at Friedrich-Alexander-Universität Erlangen-Nürnberg specializing in formal methods, computer engineering, and software testing.
Top concepts
EngineeringVerificationData ModelingMarkov ChainsFormal MethodsSoftware DesignTest AutomationComputer ScienceProgram AnalysisSoftware Testing
Publications per year
2003–2003
1
1
Rows per page
1–1 of 1