ஒத்த வளங்கள்: A new framework to extract wordnet lexicographer files for semi-formal notation :
- To enable formal verification of semi-formal requirements by using pre-defined template and mapping rules to map to Promela specification to reduce rework /
- Intelligent interpretation and analysis of child sexual abuse forensic evidence : a preliminary study /
- Analysis and Design of Biologically Inspired Model for Storing Audio Data (BiMSAD) Using UML Notation /
- ONTOLOGY-BASED FORMAL SPECIFICATIONS FOR SOCIAL ENGINEERING /
- Arabic handwriting recognition : challenges and solutions /
- Formalization of UML class diagram using description logics /