Vol-3423⫷ Vol-3424 ⫸Vol-3425
urn:nbn:de:0074-3424-0


Vol-3424/invited2⫷Vol-3424/paper6⫸Vol-3424/paper7
Yike LiYin TongMarco DemuroAlessandro Giua

Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets