Now showing items 1-1 of 1

    • Slicing approach to specification for testability in LOTOS 

      Ateş, Ahmet Feyzi (Bilkent University, 1993)
      With the recent increase in the use of formal methods in specification of communication protocols, there is a need to base the conformance testing of protocol implementations on formal specifications. This brings in the ...