Borhen Marzougui is an author at University of Gafsa specializing in automated reasoning, formal verification, and automation.
Top concepts
AutomationEngineeringFormal MethodsComplex SystemsComputer ScienceAutomated ReasoningFormal VerificationIntelligent SystemsMulti-agent SystemsSystems Engineering
Publications per year
2010–2010
1
1
Rows per page
1–1 of 1