Monografie
Automated technology for verification and analysis : 4th international symposium ; proceedings
- Sprache
-
Englisch
- Umfang
-
XIV, 540 S.
- ISBN
-
978-3-540-47237-7
- Identifier
-
981257240
- Reihe
-
Lecture notes in computer science; Vol. 4218
- Thema
-
Systementwurf ; Systemanalyse ; Softwareentwicklung ; Hardwareentwurf ; Verifikation ; Formale Methode ; Zeitbehafteter Automat ; Eingebettetes System ; Hybrides System ; Model Checking ; Konferenzschrift Peking; Kongress Peking <2006>; Kongress <2006>
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:23 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
Ähnliche Objekte (12)
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 10th international symposium ; proceedings
Automated technology for verification and analysis : 8th international symposium ; proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated Verification of Parallel Nested DFS
Highly Automated Formal Verification of Arithmetic Circuits
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 10th international symposium ; proceedings
Automated technology for verification and analysis : 8th international symposium ; proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated Verification of Parallel Nested DFS
Highly Automated Formal Verification of Arithmetic Circuits
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 10th international symposium ; proceedings
Automated technology for verification and analysis : 8th international symposium ; proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated Verification of Parallel Nested DFS
Highly Automated Formal Verification of Arithmetic Circuits
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings