Anbulagan Anbulagan is an author at The University of Melbourne specializing in formal verification, formal methods, and engineering.
Top concepts
EngineeringVerificationFormal MethodsSatisfiabilityComputer ScienceAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
1997–2007
2
2
Diagnosis of discrete-event systems using satisfiability algorithms
Alban Grastien, Anbulagan Anbulagan, Jussi Rintanen et al. · 2007 · 52 citations
Rows per page
1–2 of 2