1–20 von 23 Ergebnissen
|

    Statemate-based Modeling and Verification of Railway Systems: Concepts and Application

    Damm, W. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik | British Library Conference Proceedings | 2000

    Engineering of Computer-based Interlocking Functions

    Sundvall, K. E. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik | British Library Conference Proceedings | 2000

    Ein Weg zur Einsetzbarkeit Formaler Methoden fur Ingenieure im Eisenbahnwesen

    Arabestani, S. / Gayen, J.-T. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000

    Die Anwendung von formalen Techniken aus Sicht des Eisenbahn-Bundesamtes

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

    Formale Techniken fur die Eisenbahnsicherungstechnik

    Schnieder, E. / Einer, S. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000

    DIE METHODE,,B" Sichere Software fur Bahnanwendungen

    Fessler, M. / Schutte, J. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000

    Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung

    Meyer zu Hörste, M. / Schnieder, E. | Tema Archiv | 2000

    Petrinetze fur die durchgangige Entwicklung von Systemen der Eisenbahnsicherung

    Horste, M. M. z. / Schnieder, E. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000

    COMPOSE - Formale Technik zur Entwicklung von Leit-und Sicherungssystemen im Schienenverkehr

    Konrad, J. / Evers, B. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000

    Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specification to Distributed Hybrid Real-Time Systems

    Peleska, J. / Haxthausen, A. E. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000

    Die Methode und Werkzeuge GRACE

    Reder, H.-J. / Protzner, S. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000

    Die Methode 'B' - sichere Software für Bahnanwendungen

    Fessler, M. / Schütte, J. | Tema Archiv | 2000

    Formale Spezifikation und Verifikation von sicherheitskritischen Anlagen in der Bahntechnik mit SDL und MSC's

    Pansa, U. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik | British Library Conference Proceedings | 2000

    Begrussungsvortrag

    Suwe, K.-H. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik | British Library Conference Proceedings | 2000

    Nutzung von UML und CASE Tools wie SDL fur Fuhrerstand MMI und telemetriebasierte Zugsicherung

    Craigie, N. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik | British Library Conference Proceedings | 2000

    Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques

    Ehrig, H. / Orejas, F. / Padberg, J. et al. | British Library Conference Proceedings | 2000