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

Overview
Research
Identity
Additional Document Info
View All

authors

Gruner, Stefan
Kumar, Apurva
Maibaum, Thomas

status

published

publication date

2016

published in

Communications in Computer and Information Science Journal

presented at event

4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS) Conference