On the Use of Specifications Styles for Automated Protocol Implementation from LOTOS to C

P.H.J. van Eijk (Speaker)

    Activity: Talk or presentationOral presentation


    Plaats van uitgifte: Ottawa, Canada
    Period30 Jun 1990
    Event titleIFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990
    Event typeConference
    Conference number10
    LocationOttawa, Canada, Ontario


    • METIS-123093