Formal methods for automation and safety in railway and automotive systems, Eckehard Schnieder
Nikdo zatím neohodnotil.Ohodnotit