Chapter
Application of the general method to the railway domain
Abstract
What knowledge of Formal Methods in the railway domain is already ‘mature’? To answer this question we must consider the most suitable sources of knowledge in our chosen domain, as well as a suitable definition of the notion of ‘settledness‘; see chapter 3.
Authors
Gruner S; Kumar A; Maibaum T; Roggenbach M
Book title
Springerbriefs in Computer Science
Pagination
pp. 41-53
Publication Date
January 1, 2020
DOI
10.1007/978-3-030-44648-2_4