What is the method in formal methods?

E. Brinksma

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelFormal Description Techniques IV (Proceedings IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, November 19-22, 1991)
    RedacteurenK.R. Partker, G.A. Rose
    UitgeverijNorth-Holland Publishing Company
    Pagina's33-50
    ISBN van geprinte versie0-444-89402-0
    StatusGepubliceerd - 1991

    Publicatie series

    NaamIFIP transactions. C, Communication systems
    VolumeC-2
    ISSN van geprinte versie0926-549X

    Citeer dit