- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540654452
3540654453
- Dimensions
-
25 cm
- Extent
-
IX, 299 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 277 - 289
- Keyword
-
Hardwareverifikation
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1999
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:42 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kropf, Thomas
- Springer
Time of origin
- 1999
Other Objects (12)
Formal methods for hardware verification : advanced lectures
Formal hardware verification : methods and systems in comparison
Formal verification and automated masking of cryptographic hardware
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
A modal logic for handling behavioural constraints in formal hardware verification
Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
Complete formal hardware verification of interfaces for a FlexRay-like bus
Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Hardware and software: verification and testing : proceedings
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Formal hardware verification : methods and systems in comparison
Formal verification and automated masking of cryptographic hardware
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
A modal logic for handling behavioural constraints in formal hardware verification
Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
Complete formal hardware verification of interfaces for a FlexRay-like bus
Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Hardware and software: verification and testing : proceedings
Correct hardware design and verification methods : proceedings
Formal methods for hardware verification : advanced lectures
Formal hardware verification : methods and systems in comparison
Formal verification and automated masking of cryptographic hardware
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
A modal logic for handling behavioural constraints in formal hardware verification
Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
Complete formal hardware verification of interfaces for a FlexRay-like bus
Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Hardware and software: verification and testing : proceedings