Personal Information
Organization / Workplace
Coimbatore, Tamil Nadu India
Occupation
Assistant Professor
Industry
Education
Website
about.me/rajamanickam_n/
Tags
security properties
edit automata
timed automata
real-time properties
transactional properties
security policy
computer security
automata
See more