Search Results - Shukur, Zarina

  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    The automatic assessment of Z specifications

    The automatic assessment of Z specifications by Shukur, Zarina

    Published 1999
    Get full text
  2. 2
    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
  3. 3
    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
  4. 4
    Formalizing voting protocol in process algebra

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

    Published 2014
    Get full text
  5. 5
    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
  6. 6
    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
  7. 7
    Specifying voting protocol using CSP

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

    Published 2012
    Get full text
    Get full text
  8. 8
    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
  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
  10. 10
    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

Search Tools: