Aleksandra Jovanović is an author at École Centrale de Nantes specializing in process control, automated reasoning, and computational complexity.
Top concepts
EngineeringVerificationFormal MethodsProcess ControlComputer ScienceReal-time SystemsAutomated ReasoningFormal VerificationSystems EngineeringComputational Complexity
Publications per year
2014–2014
1
1
Rows per page
1–1 of 1