1
Publications
17
Citations
1
H-Index
2009
Active since
Affiliations
Nicolas Marti is an author at National Institute of Advanced Industrial Science and Technology specializing in formal methods, systems engineering, and formal specification.
Top concepts
EngineeringVerificationFormal MethodsProcess ControlComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2009–2009
1
1
Rows per page
1–1 of 1