Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Robust Computer System Proofs in PVS



    Conference:

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


    Published in:

    Langley formal methods ; 3356 ; 177-184


    Publication date :

    1997-01-01


    Size :

    8 pages


    Remarks:

    Also known as LFM 97


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Uncorrected Proofs

    Ray Katz / Katz, Ray | OERSI | 2022

    Free access


    Crashworthiness litigation:principles and proofs

    Wittner,N.J. | Automotive engineering | 1990


    Crashworthiness Litigation: Principles and Proofs

    Wittner, Nicholas J. | SAE Technical Papers | 1990


    Symbolic Geometry Software and Proofs

    Todd, P. / Lyublinskaya, I. / Ryzhik, V. | British Library Online Contents | 2010