Modellierung und Verifikation von Eisenbahn-Infrastrukturen mit semantischen Technologien

Michael Lodemann. Modellierung und Verifikation von Eisenbahn-Infrastrukturen mit semantischen Technologien. PhD thesis, University of Kiel, 2015. [doi]

Bibliographies