Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Use of Models to Verify and Validate Requirements for Critical Software



    Conference:

    Conference, Data systems in aerospace; DASIA 2009 ; 2009 ; Istanbul, Turkey



    Publication date :

    2009-01-01


    Size :

    47 pages


    Remarks:

    Held in e-store (RMS); Held on CD-ROM




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English






    Electrical Quantified Wiring Integrity Check Tool to Verify and Validate the Wiring Harness 2D & 3D Designs

    Thorat, Pratap Dinkar / Newase, Shailesh / Gupte, Keyur et al. | British Library Conference Proceedings | 2016


    Electrical Quantified Wiring Integrity Check Tool to Verify and Validate the Wiring Harness 2D & 3D Designs

    Gupte, Keyur / Thorat, Pratap Dinkar / Kaulgud, Pushkaraj et al. | SAE Technical Papers | 2016


    Comparison of Methods to Verify Probabilistic Aerospace Requirements

    Bhan, Sankalp / Venkataraman, Raghu / Novak, Ben et al. | AIAA | 2023