Rajamanickam N
4
Followers
Personal Information
Unternehmen/Arbeitsplatz
Coimbatore, Tamil Nadu India
Beruf
Assistant Professor
Branche
Education
Webseite
about.me/rajamanickam_n/
Tags
security properties
edit automata
timed automata
real-time properties
transactional properties
security policy
computer security
automata
Mehr anzeigen