|
Search the dblp DataBase
Zarina Shukur:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin
A Knowledge-based Automated Debugger in Learning System. [Citation Graph (0, 0)][DBLP] AADEBUG, 2000, pp:- [Conf]
- Zarina Shukur, Abdullah Mohd Zin, Ainita Ban
M2Z: A Tool for Translating a Natural Language Software Specification into Z. [Citation Graph (0, 0)][DBLP] ICFEM, 2002, pp:406-410 [Conf]
- Mohammed Sullabi, Zarina Shukur
Web-based Collaborative Model for Preparing Formal Software Specifications. [Citation Graph (0, 0)][DBLP] iiWAS, 2006, pp:433-442 [Conf]
Using Animation in Active Learning Tool to Detect Possible Attacks in Cryptographic Protocols. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|