Hochschulschrift
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897220331
3897220334
- Dimensions
-
24 cm
- Extent
-
X, 346 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Essen, Univ., Diss., 1997
- Keyword
-
Nebenläufigkeit
SDL
Zustandsraum
Model Checking
Leistungsbewertung
Vorgehensmodell
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:50 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Diefenbruch, Marc
- Logos-Verl.
Time of origin
- 1997
Other Objects (12)
Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL
Differentielle und quantitative Proteomanalyse eines Zellkulturmodells für maligne Transformation
Visualisierung : Hilfe durch innere Bilder?
Das Unterrichtsfach "Politische Bildung" in Brandenburg : eine qualitative und quantitative Studie
Schulische und außerschulische Musikerziehung in Nordrhein-Westfalen : ein quantitativer und qualitativer Vergleich
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Psychotherapien : Hilfen der Seelsorge oder Werkzeuge des Okkultismus?
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Proceedings of software engineering and quality assurance, 1
Záhyby reči : nová rakúska lyrika = Sprachfalten
Entwicklungsmethoden und Entwicklungsprozesse im Maschinenbau, Tagungsbd. 1
Stress and anxiety, [...]. Applications to health and well-being, work stressors, and assessment
Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL
Differentielle und quantitative Proteomanalyse eines Zellkulturmodells für maligne Transformation
Visualisierung : Hilfe durch innere Bilder?
Das Unterrichtsfach "Politische Bildung" in Brandenburg : eine qualitative und quantitative Studie
Schulische und außerschulische Musikerziehung in Nordrhein-Westfalen : ein quantitativer und qualitativer Vergleich
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Psychotherapien : Hilfen der Seelsorge oder Werkzeuge des Okkultismus?
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Proceedings of software engineering and quality assurance, 1
Záhyby reči : nová rakúska lyrika = Sprachfalten
Entwicklungsmethoden und Entwicklungsprozesse im Maschinenbau, Tagungsbd. 1
Stress and anxiety, [...]. Applications to health and well-being, work stressors, and assessment
Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL
Differentielle und quantitative Proteomanalyse eines Zellkulturmodells für maligne Transformation
Visualisierung : Hilfe durch innere Bilder?
Das Unterrichtsfach "Politische Bildung" in Brandenburg : eine qualitative und quantitative Studie
Schulische und außerschulische Musikerziehung in Nordrhein-Westfalen : ein quantitativer und qualitativer Vergleich
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Psychotherapien : Hilfen der Seelsorge oder Werkzeuge des Okkultismus?
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Proceedings of software engineering and quality assurance, 1
Záhyby reči : nová rakúska lyrika = Sprachfalten
Entwicklungsmethoden und Entwicklungsprozesse im Maschinenbau, Tagungsbd. 1