DTU Compute technical report¤Towards a formal methods body of knowledge for railway control and safety systems
0,00 kr
Udsolgt
ISBN
1678935