Publikationen

Model-based Test Generation Techniques Verifying the On-board Module of a Satellite-based Train Control System Model

Author:
E. Schnieder
D. Wu
J. Krause
Jahr der Konferenz:
2013
Name der Konferenz:
ICIRT 2013 - IEEE International Conference on Intelligent Rail Transportation, 30.08.-01.09.2013
Seitenanzahl:
274-279
Veröffentlichungsdatum:
08/2013
Herausgeber:
IEEE
Konferenzort:
Beijing
ISBN-Nummer:
978-1-4673-5278-9
DOI:
10.1109/ICIRT.2013.6696307