Hochschulschrift

Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking

to connected objects

Alternative title
Formal verification of software for programmable logic controllers by model checking
Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Deutsch
Notes
In: Institut für Informationssysteme

Classification
Elektrotechnik, Elektronik

Event
Veröffentlichung
(where)
Braunschweig
(who)
Technische Universität Braunschweig
(when)
2009
Creator
Contributor
Ehrich, Hans-Dieter

URN
urn:nbn:de:gbv:084-10080410563
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:51 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Hochschulschrift

Associated

Time of origin

  • 2009

Other Objects (12)

Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking

Hochschulschrift

Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking

Verifikation von systemnaher Software mittels Bounded Model Checking

Hochschulschrift

Verifikation von systemnaher Software mittels Bounded Model Checking

Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking

Hochschulschrift | Online-Publikation

Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking

Kompositionale Verifikation nebenläufiger Softwaremodelle durch model checking

Hochschulschrift

Kompositionale Verifikation nebenläufiger Softwaremodelle durch model checking

Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software

Hochschulschrift

Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software

Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software

Hochschulschrift

Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software

Journalistische Praxis: digitale Recherche : Verifikation und Fact Checking

Journalistische Praxis: digitale Recherche : Verifikation und Fact Checking

IC3 software model checking

IC3 software model checking

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Related objects