Object Code Verification for Safety-Critical Railway Control Systems

Jan Peleska; Anne Elisabeth Haxthausen; E. Schnieder; G. Tarnai

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 proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig,
Publication date	2007
Pages	184-199
Publication status	Published - 2007
Event	Formal Methods for Automation and Safety in Railway and Automotive Systems - Braunschweig, Germany Duration: 25 Jan 2007 → 26 Jan 2007

Conference

Conference	Formal Methods for Automation and Safety in Railway and Automotive Systems
Country/Territory	Germany
City	Braunschweig
Period	25/01/2007 → 26/01/2007

OpenUrl availability

Full text

Cite this

@inproceedings{6fac594927554c559e3497f3a26d63cd,

title = "Object Code Verification for Safety-Critical Railway Control Systems",

author = "Jan Peleska and Haxthausen, {Anne Elisabeth} and E. Schnieder and G. Tarnai",

year = "2007",

language = "English",

pages = "184--199",

booktitle = "Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig,",

note = "Formal Methods for Automation and Safety in Railway and Automotive Systems, FORMS/FORMAT 2007 ; Conference date: 25-01-2007 Through 26-01-2007",

}

Peleska, J, Haxthausen, AE, Schnieder, E (ed.) & Tarnai, G (ed.) 2007, Object Code Verification for Safety-Critical Railway Control Systems. in Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig,. pp. 184-199, Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, 25/01/2007.

Object Code Verification for Safety-Critical Railway Control Systems. / Peleska, Jan; Haxthausen, Anne Elisabeth; Schnieder, E. (Editor) et al.
Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig,. 2007. p. 184-199.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Object Code Verification for Safety-Critical Railway Control Systems

AU - Peleska, Jan

AU - Haxthausen, Anne Elisabeth

A2 - Schnieder, E.

A2 - Tarnai, G.

PY - 2007

Y1 - 2007

M3 - Article in proceedings

SP - 184

EP - 199

BT - Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig,

T2 - Formal Methods for Automation and Safety in Railway and Automotive Systems

Y2 - 25 January 2007 through 26 January 2007

ER -