Konferenzschrift | Kongress
Correct hardware design and verification methods : proceedings
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540567783
354056778X
9780387567785
038756778X
- Maße
-
24 cm
- Umfang
-
269 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 683
- Schlagwort
-
Hardwareverifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (wer)
-
Springer
- (wann)
-
1993
- Beteiligte Personen und Organisationen
-
Milne, George J.
Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 : Arles)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:29 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
- Konferenzschrift
- Kongress
Beteiligte
- Milne, George J.
- Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 : Arles)
- Springer
Entstanden
- 1993
Ähnliche Objekte (12)
Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 10th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference ; proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Formal hardware verification : methods and systems in comparison
Formal verification and automated masking of cryptographic hardware
Introduction to formal hardware verification : with 32 tables
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 10th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference ; proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Formal hardware verification : methods and systems in comparison
Formal verification and automated masking of cryptographic hardware
Introduction to formal hardware verification : with 32 tables
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 10th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference ; proceedings
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference ; proceedings
Formal methods for hardware verification : advanced lectures
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Formal hardware verification : methods and systems in comparison
Formal verification and automated masking of cryptographic hardware
Introduction to formal hardware verification : with 32 tables
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations