Divya K. Nair

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Mehrdad Nojoumian, Divya K. Nair
Comparing genetic algorithm and guided local search methods by symmetric TSP instances. GECCO (2008)
Stéphane S. Somé, Divya K. Nair
Use Case Based Requirements Verification - Verifying the Consistency between Use Cases and Assertions. ICEIS (3) (2007)
Divya K. Nair, Stéphane S. Somé
A Formal Approach to Requirement Verification. SEDE (2006)