Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Software Safety Analysis: Inductive Methods vs. Deductive Methods


    Beteiligte:

    Kongress:

    18th, International system safety conference ; 2000 ; Fort Worth, TX


    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    9 pages


    Anmerkungen:

    Theme title: System safety at the frontier of technology. Also known as ISSC


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :


    Inductive and Deductive Reasoning for Robotic Steerable Needle in Neurosurgery

    Alice Segato / Valentina Corbetta / Francesco Calimeri et al. | BASE | 2020

    Freier Zugriff


    Comparative Analysis of Safety Critical Software Assessment Methods

    Mitra, S. / Shaw, R. / Le Trung, B. et al. | British Library Conference Proceedings | 1995


    Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach

    Mason, P. A. J. / Saed, A. | British Library Conference Proceedings | 1998