Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification of an axiomatic requirements specification


    Contributors:
    HAMILTON, M. (author) / ZELDIN, S. (author)

    Conference:

    Computers in Aerospace Conference ; 1977 ; Los Angeles , CA , U.S.A.



    Publication date :

    1977-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Axiomatic requirements engineering - an approach based on general system theory

    Saib, S.H. / Benson, J.P. / Scherer, A.D. et al. | Tema Archive | 1978



    General Environmental Verification Specification

    J. S. Milne / D. S. Kaufman | NTIS | 2003


    General Environmental Verification Specification

    Milne, J. Scott, Jr. / Kaufman, Daniel S. | NTRS | 2003


    Axiomatic Digital Topology

    Kovalevsky, V. | British Library Online Contents | 2006