Formal System Verification State-of the-Art and Future Trends /
This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Drechsler, Rolf (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Έκδοση: | 1st ed. 2018. |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
ανά: Przigoda, Nils, κ.ά.
Έκδοση: (2018) -
Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
ανά: Ray, Sandip, κ.ά.
Έκδοση: (2019) -
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
ανά: Chandrasekharan, Arun, κ.ά.
Έκδοση: (2019) -
Multi-run Memory Tests for Pattern Sensitive Faults
ανά: Mrozek, Ireneusz, κ.ά.
Έκδοση: (2019) -
Exact Design of Digital Microfluidic Biochips
ανά: Keszocze, Oliver, κ.ά.
Έκδοση: (2019)