Example HB entry of a formal method for the...

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

Associated Experts

Thomas Maibaum

Professor Emeritus, Faculty of Engineering

Visit profile

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

Provide website feedback