|
Xiying Weng
Verification and Validation of Logic Control Algorithms by Model Checking
Verifikation und Validierung von Steuerungsalgorithmen mittels Model Checking
ISBN 978-3-8322-2242-0, Englisch, Paperback,
150 Seiten,
21 x 14,8 cm, 228 g, 82 Abbildungen,
48,80 € / 97,60 SFR
Dezember 2003
|