Automated validation and verification of railway specific components and systems

Zugl.: Bremen, Univ., Diss., 2008

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kinder, Sebastian (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Aachen Shaker 2008
Schriftenreihe:	Berichte aus der Informatik
Schlagworte:	Hochschulschrift > Schienenverkehr > Automation > Bounded Model Checking > Binäres Entscheidungsdiagramm > Erfüllbarkeitsproblem > Graphentheoretisches Modell > Automatisches Beweisverfahren > Programmverifikation
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!