Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Reuse of a Formal Model for Requirements Validation



    Conference:

    Workshop; 4th, Langley formal methods ; 1997 ; Hampton; VA



    Publication date :

    1997-01-01


    Size :

    12 pages


    Remarks:

    Also known as LFM 97


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English