1
Publications
16
Citations
1
H-Index
2018
Active since
Affiliations
Toussaint Tigori is an author at Centre National de la Recherche Scientifique specializing in computer engineering, verification, and engineering.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceEmbedded SystemsSoftware TestingReal-time SystemsSoftware AnalysisFormal Verification
Publications per year
2018–2018
1
1
Rows per page
1–1 of 1