Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Use of Models to Verify and Validate Requirements for Critical Software



    Kongress:

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



    Erscheinungsdatum :

    01.01.2009


    Format / Umfang :

    47 pages


    Anmerkungen:

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




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch






    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