- Ausgabe
-
1. Ed.
- Sprache
-
Englisch
- Umfang
-
300 S.
- ISBN
-
978-0-387-69166-4
- Identifier
-
982277849
- Thema
-
Entwurfsautomation ; Model Checking ; Erfüllbarkeitsproblem ; Verifikation
- Beteiligte Personen und Organisationen
-
Ganai, Malay
Gupta, Aarti
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:33 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Ganai, Malay
- Gupta, Aarti
Ähnliche Objekte (12)
Scalable Pixel-based Visual Interfaces : Challenges and Solutions
A signature-based approach to formal logic verification
Applications of property based synthesis in formal verification
Modeling and verification for a scalable neuromorphic substrate
Modeling and Verification for a Scalable Neuromorphic Substrate
Supporting Validation and Verification of State-Based Formal Models
Formal verification of a coordinated atomic action based design
Formal Verification of Firmware-Based System-on-Chip Modules
Formal verification for ALICA plans
Formal verification of pipelined microprocessors
Formal verification of recursive predicates
Causality-based verification
Scalable Pixel-based Visual Interfaces : Challenges and Solutions
A signature-based approach to formal logic verification
Applications of property based synthesis in formal verification
Modeling and verification for a scalable neuromorphic substrate
Modeling and Verification for a Scalable Neuromorphic Substrate
Supporting Validation and Verification of State-Based Formal Models
Formal verification of a coordinated atomic action based design
Formal Verification of Firmware-Based System-on-Chip Modules
Formal verification for ALICA plans
Formal verification of pipelined microprocessors
Formal verification of recursive predicates
Causality-based verification
Scalable Pixel-based Visual Interfaces : Challenges and Solutions
A signature-based approach to formal logic verification
Applications of property based synthesis in formal verification
Modeling and verification for a scalable neuromorphic substrate
Modeling and Verification for a Scalable Neuromorphic Substrate
Supporting Validation and Verification of State-Based Formal Models
Formal verification of a coordinated atomic action based design
Formal Verification of Firmware-Based System-on-Chip Modules
Formal verification for ALICA plans
Formal verification of pipelined microprocessors
Formal verification of recursive predicates