Zusätzliche Aspekte zur Anwendung von formalen Techniken (Deutsch)
- Neue Suche nach: Tarnai, G.
- Neue Suche nach: Saghi, B.
- Neue Suche nach: Tarnai, G.
- Neue Suche nach: Saghi, B.
In:
Signal und Draht
;
93
, 7/8
;
42-45
;
2001
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Zusätzliche Aspekte zur Anwendung von formalen Techniken
-
Weitere Titelangaben:Additional aspects regarding the application of formal methods
-
Beteiligte:Tarnai, G. ( Autor:in ) / Saghi, B. ( Autor:in )
-
Erschienen in:Signal und Draht ; 93, 7/8 ; 42-45
-
Verlag:
-
Erscheinungsdatum:2001
-
Format / Umfang:4 Seiten, 2 Bilder, 8 Quellen
-
ISSN:
-
Coden:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Deutsch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 93, Ausgabe 7/8
Zeige alle Jahrgänge und Ausgaben
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.
- 6
-
Europäische Zugbeeinflussungssysteme für die Baureihe 185Steingröver, Andrea et al. | 2001
- 10
-
SIMIS LC - Teststrategie für eine Anwendungssoftware auf Basis des CENELEC-EntwicklungsprozesseSikula, Christoph / Sieverding, Peter et al. | 2001
- 10
-
SIMIS LC - Teststrategie für eine Anwendungssoftware auf Basis des CENELEC-EntwickungsprozessesSikula, C. / Sieverding, P. et al. | 2001
- 18
-
RBÜT-Diagnose aus der Sicht des AnwenderKeller, Uwe / Schiminski, Dieter et al. | 2001
- 18
-
RBÜT-Diagnose aus der Sicht des AnwendersKeller, U. / Schiminski, D. et al. | 2001
- 22
-
Hochrüsten von ESTW für die Anbindung an eine BetriebszentraleEngelbart, P. et al. | 2001
- 27
-
Die neue Betriebszentrale Leipzig der DB AGGirke, K.J. / Bader, K. et al. | 2001
- 33
-
ZUB2X2 für den öffentlichen PersonenverkehrKaluscha, Uwe / Rosenkranz, Uwe et al. | 2001
- 40
-
Einsatzerfahrungen mit dem integrierten Weichenstellsystem von SiemenLiebscher, Jörg / Wagenhau, Uwe et al. | 2001
- 42
-
Zusätzliche Aspekte zur Anwendung von formalen TechnikenTarnai, G. / Saghi, B. et al. | 2001