Der Einsatz von formalen Techniken im Bereich der Eisenbahnsicherungstechnik stellt gegenwärtig eine der größten Herausforderungen in der Kooperation von akademischer Welt und Industrie dar. Ein wichtiger Meilenstein war dabei die Erarbeitung eines entsprechenden Anforderungskatalogs durch EBA, Industrie, DB AG und Wissenschaft, der in einem Beitrag in "Signal+Draht", 1999, Heft 10 (IuD-Bestell-Nummer: I9927041) besprochen wurde. Der Artikel schließt an den darin vorgestellten Erkenntnissen an und stellt ein praxistaugliches Instrumentarium aus Methodenbeurteilung und Umfeldanalyse zur Erleichterung der Entscheidungsfindung für die dem jeweiligen Einsatzzweck optimal entsprechenden Beschreibungsmittel, Methoden und Werkzeuge vor.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Zusätzliche Aspekte zur Anwendung von formalen Techniken


    Contributors:

    Published in:

    Signal+Draht ; 93 , 7-8 ; 42-45


    Publication date :

    2001-01-01


    Size :

    4 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




    Zusätzliche Aspekte zur Anwendung von formalen Techniken

    Tarnai, G. / Saghi, B. | Tema Archive | 2001


    Die Anwendung von formalen Techniken aus Sicht des Eisenbahn-Bundesamtes

    Kammel, K. / Lennartz, K. / Suwe, K.-H. et al. | British Library Conference Proceedings | 2000


    Beispielhafte Anwendung einer formalen Unfallanalysemethode

    Lemke, Oliver / Bosse, Gunnar | IuD Bahn | 2006



    Zusätzliche Eiweißfuttermittel

    Franke, Ernst-Reinhardt / Wetterau, Heinz | Catalogue agriculture | 1962