> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Automated validation and verification of railway specific components and systems Beteiligte: Kinder, Sebastian [Verfasser:in] Erschienen: Aachen: Shaker, 2008 Erschienen in: Berichte aus der Informatik Umfang: 159 S.; Ill., graph. Darst; 21 cm Sprache: Deutsch ISBN: 9783832270438 RVK-Notation: ZO 5230 : Simulation des Fahrverhaltens und der Funktion einzelner Komponenten, incl. Simulationssoftware und Fahrsimulator Schlagwörter: Schienenverkehr > Automation > Bounded Model Checking > Binäres Entscheidungsdiagramm > Erfüllbarkeitsproblem Entstehung: Hochschulschrift: Zugl.: Bremen Univ. Diss., 2008 Anmerkungen: