Type-Safe Validation of XML Railway Data in B

Lecture notes in computer science 2026

View at publisher
Authors: Jan Gruteser, Michaël Leuschel, Susanne Wunsch
DOI: 10.1007/978-3-032-12484-5_16
Cited by: 1
References: 35

Fields of Study & Subjects

Formal Methods in Verification Advanced Database Systems and Queries Railway Systems and Energy Efficiency

Publication details

Journal / source
Lecture notes in computer science
Publisher
Springer Nature Switzerland
Pages
292–313
Publication date
1 January 2026
Language
EN