A train set as a case study for the requirements analysis of safety-critical systems
Authors:
R. De Lemos;A. Saeed;T. Anderson
Affiliations:
Univ. of Newcastle upon Tyne, Newcastle upon Tyne, UK;Univ. of Newcastle upon Tyne, Newcastle upon Tyne, UK;Univ. of Newcastle upon Tyne, Newcastle upon Tyne, UK
Venue:
The Computer Journal - Special issue on safety and security parallel computation