Prajna Devi Upadhyay

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Domain Ontology

Automated Verification

Model Construction

Top Venues

Publications

Animesh Dutta, Prajna Devi Upadhyay, Sudipta Acharya
Requirement Analysis and Automated Verification: A Semantic Approach. SEKE (2012)
Koninika Pal, Prajna Devi Upadhyay, Animesh Dutta
A petri nets based model for multipoint synchronization in audio conferencing. COMSNETS (2011)
Koninika Pal, Prajna Devi Upadhyay, Animesh Datta
A Petri Net Based Model for Multipoint Multistream Synchronization in Multimedia Conferencing. SUComS (2011)