Celine Boutrous-Saab is an author at Université Paris Cité specializing in mechanism design, software engineering, and formal methods.
Top concepts
EngineeringSemantic WebVerificationCommunicationFormal MethodsComputer ScienceMechanism DesignSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2006–2006
1
1
Rows per page
1–1 of 1