2
Publications
34
Citations
2
H-Index
2018
Active since
Affiliations
Damien Rouhling is an author at National Institute of Advanced Industrial Science and Technology specializing in formal verification, formal methods, and verification.
Top concepts
EngineeringVerificationFormal MethodsFormal VerificationReasoningStabilityFormal LogicControl TheoryComplex SystemsControl Systems
Publications per year
2018–2018
2
2
Rows per page
1–2 of 2