1
Publications
71
Citations
1
H-Index
2004
Active since
Affiliations
P. Fankhauser is an author at Fraunhofer Institute for Secure Information Technology specializing in formal verification, verification, and formal methods.
Top concepts
Data MiningEngineeringData ScienceVerificationData ModelingFormal MethodsSoftware DesignComputer ScienceFormal VerificationSystems Engineering
Publications per year
2004–2004
1
1
Rows per page
1–1 of 1