Search Results - Shukur, Zarina

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Specifying voting protocol using CSP

    Specifying voting protocol using CSP by Ban, Ainita, Shukur, Zarina

    Published 2012
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  2. 2
    Formalizing voting protocol in process algebra

    Formalizing voting protocol in process algebra by Ban, Ainita, Shukur, Zarina

    Published 2014
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Utilizing an abstraction relation document in grey-box testing approach

    Utilizing an abstraction relation document in grey-box testing approach by Baharom, Salmi, Shukur, Zarina

    Published 2009
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  4. 4
    Module documentation based testing using grey-box approach

    Module documentation based testing using grey-box approach by Baharom, Salmi, Shukur, Zarina

    Published 2008
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  5. 5
    Analysis of the model checkers' input languages for modeling traffic light systems

    Analysis of the model checkers' input languages for modeling traffic light systems by Abdul Samad, Pathiah, Mohd Zin, Abdullah, Shukur, Zarina

    Published 2011
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    An experimental assessment of module documentation-based testing.

    An experimental assessment of module documentation-based testing. by Baharom, Salmi, Shukur, Zarina

    Published 2011
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    An experimental assessment of module documentation-based testing

    An experimental assessment of module documentation-based testing by Baharom, Salmi, Shukur, Zarina

    Published 2011
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Pengkelasan dokumen web menggunakan teknik vector machine (SVM)

    Pengkelasan dokumen web menggunakan teknik vector machine (SVM) by Othman, Mohd. Shahizan, Dollah, Rozilawati @ Md. Zain, Mi Yusuf, Lizawati, Salim, Juhana, Shukur, Zarina, Chin, Mae Yen

    Published 2005
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  9. 9
    Rekabentuk sistem pemprosesan tesis secara automatik

    Rekabentuk sistem pemprosesan tesis secara automatik by Salim, Juhana, Othman, Shahizan, Mohd. Salleh, Syahanim, Shukur, Zarina, Mohd. Zin, Abdullah, Hassan, Rosilah, Ayob, Masri

    Published 2004
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:

Search Tools: