Towards Domain-Specific Formal Specification Languages for Railway Control Systems

Jan Peleska; A. Baer; Anne Elisabeth Haxthausen; E. Schnieder; U. Becker

Towards Domain-Specific Formal Specification Languages for Railway Control Systems

Jan Peleska, A. Baer, Anne Elisabeth Haxthausen, E. Schnieder (Editor), U. Becker (Editor)

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

Original language	English
Title of host publication	9th IFAC Symposium on Control in Transportation Systems
Publisher	Technical University Braunschweig, Germany
Publication date	2000
Pages	147-152
Publication status	Published - 2000
Event	9th IFAC Symposium on Control in Transportation Systems 2000 - Braunschweig, Germany Duration: 13 Jun 2000 → 15 Jun 2000 Conference number: 9 https://www.sciencedirect.com/journal/ifac-proceedings-volumes/vol/33/issue/9

Conference

Conference	9th IFAC Symposium on Control in Transportation Systems 2000
Number	9
Country/Territory	Germany
City	Braunschweig
Period	13/06/2000 → 15/06/2000
Internet address	https://www.sciencedirect.com/journal/ifac-proceedings-volumes/vol/33/issue/9

OpenUrl availability

Full text

Cite this

@inproceedings{41c9580e5896471082e02cb39e2aac07,

title = "Towards Domain-Specific Formal Specification Languages for Railway Control Systems",

author = "Jan Peleska and A. Baer and Haxthausen, {Anne Elisabeth} and E. Schnieder and U. Becker",

year = "2000",

language = "English",

pages = "147--152",

booktitle = "9th IFAC Symposium on Control in Transportation Systems",

publisher = "Technical University Braunschweig, Germany",

note = "9th IFAC Symposium on Control in Transportation Systems 2000 ; Conference date: 13-06-2000 Through 15-06-2000",

url = "https://www.sciencedirect.com/journal/ifac-proceedings-volumes/vol/33/issue/9",

}

Peleska, J, Baer, A, Haxthausen, AE, Schnieder, E (ed.) & Becker, U (ed.) 2000, Towards Domain-Specific Formal Specification Languages for Railway Control Systems. in 9th IFAC Symposium on Control in Transportation Systems. Technical University Braunschweig, Germany, pp. 147-152, 9th IFAC Symposium on Control in Transportation Systems 2000, Braunschweig, Lower Saxony, Germany, 13/06/2000.

Towards Domain-Specific Formal Specification Languages for Railway Control Systems. / Peleska, Jan; Baer, A.; Haxthausen, Anne Elisabeth et al.
9th IFAC Symposium on Control in Transportation Systems. Technical University Braunschweig, Germany, 2000. p. 147-152.

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

TY - GEN

T1 - Towards Domain-Specific Formal Specification Languages for Railway Control Systems

AU - Peleska, Jan

AU - Baer, A.

AU - Haxthausen, Anne Elisabeth

A2 - Schnieder, E.

A2 - Becker, U.

N1 - Conference code: 9

PY - 2000

Y1 - 2000

M3 - Article in proceedings

SP - 147

EP - 152

BT - 9th IFAC Symposium on Control in Transportation Systems

PB - Technical University Braunschweig, Germany

T2 - 9th IFAC Symposium on Control in Transportation Systems 2000

Y2 - 13 June 2000 through 15 June 2000

ER -