Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A two-level formal verification methodology using HOL and COSMOS


    Contributors:


    Publication date :

    1991


    Size :

    13 S.


    Remarks:

    graph. Darst.


    Type of media :

    Book


    Type of material :

    Print


    Language :

    English



    Formal Verification at System Level

    Mazzini, S. / Puri, S. / Mari, F. et al. | British Library Conference Proceedings | 2009


    The FoReVer Methodology: A MBSE Framework for Formal Verification

    Baracchi, L. / Mazzini, S. / Cimatti, A. et al. | British Library Conference Proceedings | 2013


    Cosmos calculations

    Pilkington, J.A. | Engineering Index Backfile | 1963


    Cosmos 2229

    Edgerton, V. Reggie / Roy, Roland R. / Hodgson, John A. | NTRS | 1993


    COSMOS LAUNCHER

    Zak, Anatoly | Online Contents | 1996