Media type: Book; Thesis Title: Automated validation and verification of railway specific components and systems Contributor: Kinder, Sebastian [Author] imprint: Aachen: Shaker, 2008 Published in: Berichte aus der Informatik Extent: 159 S.; Ill., graph. Darst; 21 cm Language: German ISBN: 9783832270438 RVK notation: ZO 5230 : Simulation des Fahrverhaltens und der Funktion einzelner Komponenten, incl. Simulationssoftware und Fahrsimulator Keywords: Schienenverkehr > Automation > Bounded Model Checking > Binäres Entscheidungsdiagramm > Erfüllbarkeitsproblem Origination: University thesis: Zugl.: Bremen Univ. Diss., 2008 Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ZO 5230 K51 Item ID: 31790586 Status: Loanable