Spezifikation und Verifikation von sicheren Softwaresystemen (German)
- New search for: Göhner, Peter
- New search for: Göhner, Peter
- New search for: Medienbetreuung, Frankfurt (M.)
In:
Automatisierungst. Praxi
;
37
, 4
;
24-26, 28-31
;
1995
-
ISSN:
- Article (Journal) / Print
-
Title:Spezifikation und Verifikation von sicheren Softwaresystemen
-
Contributors:Göhner, Peter ( author ) / Medienbetreuung, Frankfurt (M.)
-
Published in:Automatisierungst. Praxi ; 37, 4 ; 24-26, 28-31
-
Publisher:
-
Publication date:1995-01-01
-
Size:8 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:German
-
Keywords:
-
Source:
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Table of contents – Volume 37, Issue 4
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 5
-
atp-Aktuell| 1995
- 9
-
Rudolf Lauber zum 65. GeburtstagKonakovsky, R. et al. | 1995
- 12
-
Entwurfsmethoden für Echtzeit-Software-SystemeEbert, Ch et al. | 1995
- 17
-
Qualitätslenkung mit Methoden der Prozessführung - Grundlagen und BeispieleEibl, M. et al. | 1995
- 24
-
Spezifikation und Verifikation von sicheren SoftwaresystemenGöhner, P. et al. | 1995
- 32
-
Ein Lösungsansatz für Total Quality Management in der Software-EntwicklungKonakovsky, R. et al. | 1995
- 42
-
Die NAMUR vor neuen Aufgaben? 57. NAMUR-Hauptsitzung im RückblickBenez, Hj et al. | 1995
- 50
-
Digitale Feldgeräte: Vorteile, Probleme und Anforderungen aus AnwendersichtSchneider, H.-J. et al. | 1995
- 55
-
Prädiktive Regelung verfahrenstechnischer Anlagen mit Neuronalen NetzenDraeger, A. et al. | 1995
- 62
-
atp-Testaufgaben| 1995
- 66
-
Neue Produkte| 1995
- 72
-
Impressum| 1995
- S17
-
Qualitätslenkung mit Methoden der Prozeßführung - Grundlagen und Beispiele. Teil 3Eibl, M. / Kersting, F.J. / Schuler, H. / Schlosser, G. et al. | 1995