L. Manolescu is an author at RWTH Aachen University specializing in intelligent systems, formal verification, and system software.
Top concepts
AutomationEngineeringVerificationFormal MethodsFault ToleranceProcess ControlSoftware DesignSystem SoftwareComputer ScienceHardware Security
Publications per year
2006–2006
1
1
Rows per page
1–1 of 1