Formal Test Automation: The Conference Protocol with PHACT

  • G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Period1 Sep 2000
    Event title13th IFIP International Conference on Testing Communicating Systems, TestCom 2000
    Event typeConference
    Conference number13
    LocationOttawa, Canada, Ontario
    Degree of RecognitionInternational