Verification of Digital and Hybrid Systems by M. Kemal Inan (English) Paperback
126,24 €
By M. Kemal Inan, Robert P. Kurshan. I. Discrete Event System Verification. Overview of Verification. Temporal Logic and Model Checking. Model Checking Using Automata Theory. Complexity Issues in Automata Theoretic Verification.
Jetzt bei Ebay:
