Computing Systems for Railways - A Role for Domain Engineering. Relations to Requirements Engineering and Software for Control Applications}

Dines Bjørner; Chris W. George; Søren Prehn

Computing Systems for Railways - A Role for Domain Engineering. Relations to Requirements Engineering and Software for Control Applications}

Dines Bjørner, Chris W. George, Søren Prehn

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

Original language	English
Title of host publication	Integrated Design and Process Technology : Editors: Bernd Kraemer and John C. Petterson
Publisher	Society for Design and Process Science
Publication date	2002
Publication status	Published - 2002

Access to Document

http://www.imm.dtu.dk/pubdb/p.php?2275

OpenUrl availability

Full text

Cite this

@inproceedings{231094d88896411c9a16fa4b6aed2729,

title = "Computing Systems for Railways - A Role for Domain Engineering. Relations to Requirements Engineering and Software for Control Applications}",

author = "Dines Bj{\o}rner and George, {Chris W.} and S{\o}ren Prehn",

year = "2002",

language = "English",

booktitle = "Integrated Design and Process Technology",

publisher = "Society for Design and Process Science",

}

Computing Systems for Railways - A Role for Domain Engineering. Relations to Requirements Engineering and Software for Control Applications}. / Bjørner, Dines; George, Chris W.; Prehn, Søren.
Integrated Design and Process Technology: Editors: Bernd Kraemer and John C. Petterson. Society for Design and Process Science, 2002.

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