Reihe Design, Test and Verification of Embedded SystemsAndreas Riefert × Test and Diagnosis of Embedded Processor Cores with Formal Methods Andreas RiefertDer Andere VerlagSoftcover201647,90 €
