Hochschulschrift
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897220331
3897220334
- Maße
-
24 cm
- Umfang
-
X, 346 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Essen, Univ., Diss., 1997
- Schlagwort
-
Nebenläufigkeit
SDL
Zustandsraum
Model Checking
Leistungsbewertung
Vorgehensmodell
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:50 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
- Diefenbruch, Marc
- Logos-Verl.
Entstanden
- 1997
Ähnliche Objekte (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
Vertragsdesign in hierarchischen Projektbeziehungen : quantitative Methoden zur Berücksichtigung von Risiko, Vagheit und Informationsasymmetrie
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Psychotherapien : Hilfen der Seelsorge oder Werkzeuge des Okkultismus?
Proceedings of software engineering and quality assurance, 1
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Záhyby reči : nová rakúska lyrika = Sprachfalten
Entwicklungsmethoden und Entwicklungsprozesse im Maschinenbau, Tagungsbd. 1
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
Vertragsdesign in hierarchischen Projektbeziehungen : quantitative Methoden zur Berücksichtigung von Risiko, Vagheit und Informationsasymmetrie
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Psychotherapien : Hilfen der Seelsorge oder Werkzeuge des Okkultismus?
Proceedings of software engineering and quality assurance, 1
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Záhyby reči : nová rakúska lyrika = Sprachfalten
Entwicklungsmethoden und Entwicklungsprozesse im Maschinenbau, Tagungsbd. 1
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
Vertragsdesign in hierarchischen Projektbeziehungen : quantitative Methoden zur Berücksichtigung von Risiko, Vagheit und Informationsasymmetrie
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
Psychotherapien : Hilfen der Seelsorge oder Werkzeuge des Okkultismus?
Proceedings of software engineering and quality assurance, 1
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Záhyby reči : nová rakúska lyrika = Sprachfalten