Hochschulschrift
Entwicklung und Gegenüberstellung von Methoden zur automatisierten Verifikation von ausführbaren Systemspezifikationen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Ilmenau, Univ., Diss., 2010
- Ereignis
-
Veröffentlichung
- (wo)
-
Ilmenau
- (wer)
-
Universitätsbibliothek Ilmenau
- (wann)
-
2010
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:gbv:ilm1-2010000221
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:23 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
- Pacholik, Alexander
- Fengler, Wolfgang
- Salzwedel, Horst
- Lautenbach, Kurt
- Universitätsbibliothek Ilmenau
Entstanden
- 2010
Ähnliche Objekte (12)
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
Ausführbare Integrationsmuster
Eine leicht ausführbare Methode zur Untersuchung des Genusswassers
Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
XIX. Neue, für Jedermann ausführbare Methode der Fettkäse-Fabrikation.
"Kinderstolz" "Schwer ausführbar"
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Kortikale Aktivierung bei der Beobachtung biomechanisch ausführbarer und nicht-ausführbarer Bewegungen
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
Ausführbare Integrationsmuster
Eine leicht ausführbare Methode zur Untersuchung des Genusswassers
Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
XIX. Neue, für Jedermann ausführbare Methode der Fettkäse-Fabrikation.
"Kinderstolz" "Schwer ausführbar"
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Kortikale Aktivierung bei der Beobachtung biomechanisch ausführbarer und nicht-ausführbarer Bewegungen
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
Ausführbare Integrationsmuster
Eine leicht ausführbare Methode zur Untersuchung des Genusswassers
Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
XIX. Neue, für Jedermann ausführbare Methode der Fettkäse-Fabrikation.
"Kinderstolz" "Schwer ausführbar"
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Kortikale Aktivierung bei der Beobachtung biomechanisch ausführbarer und nicht-ausführbarer Bewegungen
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software