Chapter
Example HB entry of a formal method for the railway domain — Step 6
Abstract
In the previous chapter we identified settled knowledge concerning the use of Formal Methods within the railway domain. Now we take a first tentative step from analysis towards synthesis.
Authors
Gruner S; Kumar A; Maibaum T; Roggenbach M
Book title
Springerbriefs in Computer Science
Pagination
pp. 57-75
Publication Date
January 1, 2020
DOI
10.1007/978-3-030-44648-2_5