1
Publications
27
Citations
1
H-Index
2008
Active since
Thomas Abdoul is an author at Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance specializing in formal verification, software engineering, and formal specification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2008–2008
1
1
AADL Execution Semantics Transformation for Formal Verification
Thomas Abdoul, Joël Champeau, Philippe Dhaussy et al. · 2008 · 27 citations
Rows per page
1–1 of 1