Für den Nachweis des anforderungsgemäßen Zeitverhaltens von Rechnersystemen mit Sicherheitsverantwortung (Bahn, Kern-, Medizintechnik) wurde ein planmäßig anwendbares, begründetes Verfahren entwickelt. Die Funktionstüchtigkeit des erstellten Werkzeugprototyps wird am Beispiel Reaktorbetrieb demonstriert.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Ein Verfahren zum Nachweis des anforderungsgemäßen Zeitverhaltens von Rechnersystemen mit Sicherheitsverantwortung


    Beteiligte:


    Erscheinungsdatum :

    01.01.1996


    Format / Umfang :

    1 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch