Formal methods in computer aided design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4 - 6, 1998 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 1998
Schriftenreihe:	Lecture notes in computer science 1522
Schlagworte:	Automatische bewijsvoering CAD CAO VLSI Circuits intégrés - Congrès Circuits intégrés - Vérification - Congrès Circuits intégrés numériques - Conception et construction - Informatique - Congrès Circuits intégrés numériques - Conception et construction - Informatique Computacao aplicada Conception assistée par ordinateur - Congrès Micro-elektronica Théorèmes - Démonstration automatique - Congrès base donnée circuit VLSI modèle symbolique méthode formelle vérification circuit vérification formelle Digital integrated circuits > Computer-aided design > Congresses Automatic theorem proving > Congresses Integrated circuits > Verification > Congresses Computer engineering > Computer-aided design > Congresses Formal methods (Computer science) > Congresses Formale Methode Verifikation Model Checking Entwurfsautomation Konferenzschrift > 1998 > Palo Alto Calif.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge