Hochschulschrift
Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking
- Weitere Titel
-
Formal verification of software for programmable logic controllers by model checking
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
In: Institut für Informationssysteme
- Klassifikation
-
Elektrotechnik, Elektronik
- Ereignis
-
Veröffentlichung
- (wo)
-
Braunschweig
- (wer)
-
Technische Universität Braunschweig
- (wann)
-
2009
- Urheber
- Beteiligte Personen und Organisationen
-
Ehrich, Hans-Dieter
- URN
-
urn:nbn:de:gbv:084-10080410563
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:51 MEZ
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
- Pavlović, Olivera
- Ehrich, Hans-Dieter
- Technische Universität Braunschweig
Entstanden
- 2009
Ähnliche Objekte (12)
Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Kompositionale Verifikation nebenläufiger Softwaremodelle durch model checking
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Journalistische Praxis: digitale Recherche : Verifikation und Fact Checking
IC3 software model checking
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Kompositionale Verifikation nebenläufiger Softwaremodelle durch model checking
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Journalistische Praxis: digitale Recherche : Verifikation und Fact Checking
IC3 software model checking
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking
Verifikation von systemnaher Software mittels Bounded Model Checking
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Kompositionale Verifikation nebenläufiger Softwaremodelle durch model checking
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Journalistische Praxis: digitale Recherche : Verifikation und Fact Checking
IC3 software model checking
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings