O. Ruelle is an author at Siemens (France) specializing in software testing, formal methods, and real-time systems.
Top concepts
EngineeringFormal MethodsProcess ControlComputer ScienceSoftware TestingReal-time SystemsParallel ComputingFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2002–2002
1
1
Cycle time reduction program at ACL
F.G. Boebel, O. Ruelle · 2002 · 11 citations
Mathematical Programming, Engineering, Electronic Design Automation +21
Rows per page
1–1 of 1