Efficient Verification of Railway Infrastructure Designs Against Standard Regulations
Formal Methods in System Design - Netherlands
doi 10.1007/s10703-017-0281-z
Full Text
Open PDFAbstract
Available in full text
Date
June 15, 2017
Authors
Publisher
Springer Science and Business Media LLC