Formal methods for automation and safety in railway and automotive systems, Eckehard Schnieder
Nikto zatiaľ neohodnotil.Ohodnotiť