1
Publications
79
Citations
1
H-Index
2004
Active since
Affiliations
T. Ziadi is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in formal specification, formal methods, and engineering.
Top concepts
EngineeringData ModelingFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2004–2004
1
1
Rows per page
1–1 of 1