Object Code Verification for Safety-Critical Railway Control Systems

Jan Peleska, Anne Elisabeth Haxthausen, E. Schnieder (Editor), G. Tarnai (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig,
    Publication date2007
    Pages184-199
    Publication statusPublished - 2007
    EventProceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig -
    Duration: 1 Jan 2007 → …

    Conference

    ConferenceProceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig
    Period01/01/2007 → …

    Cite this