Raijan Shinghal is an author at Bell (Canada) specializing in expert systems, automated reasoning, and systems engineering.
Top concepts
EngineeringVerificationExpert SystemsComputer ScienceSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
1990–1990
1
1
Rows per page
1–1 of 1