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

    Description

    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

    Keywords

    • METIS-123093