Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS by Michael
201,34 €
Introduction 1 1.1 Event-Based Approach 2 1.2 Event-Based Systems 2 1.3 Types of Verification 2 1.4 Toolsets Used 3 1.5 Level-Based Approach 3 1.6 Overview of the Book 3 1.7 References 5 2. 2) Modules 123 7.5.2 CELk (k.
Jetzt bei Ebay:
