Browse by author
Lookup NU author(s): Dr Alexei Iliasov, Emeritus Professor Alexander RomanovskyORCiD
The on-going RSSB/EPSRC UK SafeCap project develops modelling techniques and tools for improving railway capacity while ensuring that safety standards are maintained. This paper reports recent SafeCap results on designing a Domain Specific Language (DSL), a verification infrastructure and the approaches to estimating and improving capacity.
Author(s): Iliasov A, Romanovsky A
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2012
Pages: 9
Print publication date: 01/10/2012
Source Publication Date: October 2012
Report Number: 1354
Institution: Newcastle University
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1354.pdf