@dblp

Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge.

, , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 87-102. Springer, (2015)

Links and resources

Tags