Forms '99 - formale Techniken für die Eisenbahnsicherung — Als Ms. gedr. (Deutsch, Englisch)
- Neue Suche nach: Forms
- Weitere Informationen zu Forms:
- http://d-nb.info/gnd/5520480-6
- Neue Suche nach: Workshop Forms
- Weitere Informationen zu Workshop Forms:
- http://d-nb.info/gnd/6022317-0
- Neue Suche nach: Schnieder, Eckehard
- Weitere Informationen zu Schnieder, Eckehard:
- http://d-nb.info/gnd/133634728
- Neue Suche nach: Forms
- Weitere Informationen zu Forms:
- http://d-nb.info/gnd/5520480-6
- Neue Suche nach: Workshop Forms
- Weitere Informationen zu Workshop Forms:
- http://d-nb.info/gnd/6022317-0
2000
-
ISBN:
- Konferenzband / Print
-
Titel:Forms '99 - formale Techniken für die Eisenbahnsicherung
-
Beteiligte:
-
Kongress:Workshop Forms '99 ; 1999 ; 1999 ; Braunschweig
-
Erschienen in:
-
Ausgabe:Als Ms. gedr.
-
Verlag:
- Neue Suche nach: VDI-Verl.
-
Erscheinungsort:Düsseldorf
-
Erscheinungsdatum:2000
-
Format / Umfang:VI, 291 S
-
Anmerkungen:Ill., graph. Darst
Beitr. teilw. engl., teilw. dt.
Literaturangaben -
ISBN:
-
Medientyp:Konferenzband
-
Format:Print
-
Sprache:Deutsch, Englisch
- Neue Suche nach: 55.34
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 55.34 Bahnbetriebstechnik -
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Formale Techniken fur die EisenbahnsicherungstechnikSchnieder, E. / Einer, S. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 25
-
BegrussungsvortragSuwe, K.-H. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 31
-
Relevance, Integration and Classification of Specification Formalisms and Formal Specification TechniquesEhrig, H. / Orejas, F. / Padberg, J. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 55
-
Die Anwendung von formalen Techniken aus Sicht des Eisenbahn-BundesamtesKammel, K. / Lennartz, K. / Suwe, K.-H. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 71
-
Von der Sicherheitsanalyse zur SofwarezulassungKierdorf, H.-J. / Link, A. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 113
-
Statemate-based Modeling and Verification of Railway Systems: Concepts and ApplicationDamm, W. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 125
-
COMPOSE - Formale Technik zur Entwicklung von Leit-und Sicherungssystemen im SchienenverkehrKonrad, J. / Evers, B. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 139
-
Petrinetze fur die durchgangige Entwicklung von Systemen der EisenbahnsicherungHorste, M. M. z. / Schnieder, E. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 139
-
Petrinetze für die durchgängige Entwicklung von Systemen der EisenbahnsicherungMeyer zu Hörste, M. / Schnieder, E. et al. | 2000
- 163
-
Nutzung von UML und CASE Tools wie SDL für Führerstand MMI und telemetriebasierte ZugsicherungCraigie, N. et al. | 2000
- 163
-
Nutzung von UML und CASE Tools wie SDL fur Fuhrerstand MMI und telemetriebasierte ZugsicherungCraigie, N. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 191
-
Formale Spezifikation und Verifikation von sicherheitskritischen Anlagen in der Bahntechnik mit SDL und MSC'sPansa, U. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 207
-
Ein Weg zur Einsatzbarkeit Formaler Methoden für Ingenieure im EisenbahnwesenArabestani, S. / Gayen, J.T. et al. | 2000
- 207
-
Ein Weg zur Einsetzbarkeit Formaler Methoden fur Ingenieure im EisenbahnwesenArabestani, S. / Gayen, J.-T. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 225
-
Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-MethodeBitsch, F. / Canver, E. / Moik, A. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 247
-
Die Methode und Werkzeuge GRACEReder, H.-J. / Protzner, S. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 263
-
Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specification to Distributed Hybrid Real-Time SystemsPeleska, J. / Haxthausen, A. E. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 263
-
Formal methods for the specification and verification of distributed railway control systems: from algebraic specifications to distributed hybrid real-time systemsHaxthausen, A.E. / Peleska, J. et al. | 2000
- 273
-
DIE METHODE,,B" Sichere Software fur BahnanwendungenFessler, M. / Schutte, J. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000
- 273
-
Die Methode 'B' - sichere Software für BahnanwendungenFessler, M. / Schütte, J. et al. | 2000
- 283
-
Engineering of Computer-based Interlocking FunctionsSundvall, K. E. / Institut fur Automatisierungstechnik / Institut fur Regelungstechnik et al. | 2000