Monografie
Formal methods in computer aided design : 5th international conference ; proceedings
- Sprache
-
Englisch
- Umfang
-
XI, 444 S.
- ISBN
-
978-3-540-23738-9
- Identifier
-
972458549
- Reihe
-
Lecture notes in computer science; Vol. 3312
Thema
Formale Methode ; Model Checking ; CAD ; Verifikation ; Konferenzschrift Austin (Tex.); Kongress Austin
Beteiligte Personen und Organisationen
Hu, Alan J.
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:40 MESZ
Objekttyp
- Monografie
Beteiligte
- Hu, Alan J.
Ähnliche Objekte (12)
Formal methods in computer aided design : third international conference ; proceedings
Verification, model checking, and abstract interpretation : 12th international conference ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Formal methods in computer aided design : 4th international conference ; proceedings
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Formal methods in computer aided design : second international conference ; proceedings
Formal methods and software engineering : proceedings
Automated technology for verification and analysis : second international conference : proceedings
Formal methods and software engineering : proceedings
Formal methods in computer aided design : third international conference ; proceedings
Verification, model checking, and abstract interpretation : 12th international conference ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Formal methods in computer aided design : 4th international conference ; proceedings
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Formal methods in computer aided design : second international conference ; proceedings
Formal methods and software engineering : proceedings
Automated technology for verification and analysis : second international conference : proceedings
Formal methods and software engineering : proceedings
Formal methods in computer aided design : third international conference ; proceedings
Verification, model checking, and abstract interpretation : 12th international conference ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Formal methods in computer aided design : 4th international conference ; proceedings
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Formal methods in computer aided design : second international conference ; proceedings
Formal methods and software engineering : proceedings
Automated technology for verification and analysis : second international conference : proceedings