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
Year of Conference:
2013
Conference Name:
ICIRT 2013 - IEEE International Conference on Intelligent Rail Transportation, 30.08.-01.09.2013
Number of Pages:
274-279
Date Published:
08/2013
Publisher:
IEEE
Conference Location:
Beijing
ISBN Number:
978-1-4673-5278-9
DOI:
10.1109/ICIRT.2013.6696307