Z. Baidas is an author at Mitel (Canada) specializing in formal methods, parallel computing, and computer-aided design.
Top concepts
EngineeringFormal MethodsRobot LearningComputer ScienceProgram AnalysisParallel ComputingSystems EngineeringComputer EngineeringComputer ArchitectureComputer-aided Design
Publications per year
2001–2001
1
1
Rows per page
1–1 of 1