Hochschulschrift
Testing cyclic software components of reactive systems on the basis of formal specifications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783860648674
3860648675
- Maße
-
21 cm
- Umfang
-
IV, 163 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Berlin, Techn. Univ., Diss., 1998
- Erschienen in
-
Schriftenreihe Forschungsergebnisse zur Informatik ; Bd. 40
- Schlagwort
-
Reaktives System
Softwaretest
Formale Spezifikationstechnik
Mealy-Automat
- Ereignis
-
Veröffentlichung
- (wo)
-
Hamburg
- (wer)
-
Kovač
- (wann)
-
1998
- Urheber
-
Sadeghipour, Sadegh
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:03 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Sadeghipour, Sadegh
- Kovač
Entstanden
- 1998
Ähnliche Objekte (12)
Quality assurance of test specifications for reactive systems
Parameter dependencies for reusable performance specifications of software components
Parameter dependencies for reusable performance specifications of software components
Parameter dependencies for reusable performance specifications of software components
Design of Cast Steel Components under Cyclic Loading
Design of Cast Steel Components under Cyclic Loading
An approach to the creation of precise, intelligible problem specifications of large reactive systems
Manufacturing of embedded multimode waveguides by reactive lamination of cyclic olefin polymer and polymethylmethacrylate
Dynamics of Reactive Oxygen Species on Cobalt-Containing Spinel Oxides in Cyclic CO Oxidation
Specifications of database systems
The safety analysis concept of welded components under cyclic loads using fracture mechanics method
Composition of hierarchic default specifications
Quality assurance of test specifications for reactive systems
Parameter dependencies for reusable performance specifications of software components
Parameter dependencies for reusable performance specifications of software components
Parameter dependencies for reusable performance specifications of software components
Design of Cast Steel Components under Cyclic Loading
Design of Cast Steel Components under Cyclic Loading
An approach to the creation of precise, intelligible problem specifications of large reactive systems
Manufacturing of embedded multimode waveguides by reactive lamination of cyclic olefin polymer and polymethylmethacrylate
Dynamics of Reactive Oxygen Species on Cobalt-Containing Spinel Oxides in Cyclic CO Oxidation
Specifications of database systems
The safety analysis concept of welded components under cyclic loads using fracture mechanics method
Composition of hierarchic default specifications
Quality assurance of test specifications for reactive systems
Parameter dependencies for reusable performance specifications of software components
Parameter dependencies for reusable performance specifications of software components
Parameter dependencies for reusable performance specifications of software components
Design of Cast Steel Components under Cyclic Loading
Design of Cast Steel Components under Cyclic Loading
An approach to the creation of precise, intelligible problem specifications of large reactive systems
Manufacturing of embedded multimode waveguides by reactive lamination of cyclic olefin polymer and polymethylmethacrylate
Dynamics of Reactive Oxygen Species on Cobalt-Containing Spinel Oxides in Cyclic CO Oxidation
Specifications of database systems
The safety analysis concept of welded components under cyclic loads using fracture mechanics method