Formal methods in computer aided design 4th international conference, FMCAD 2002, Portland, OR, USA, November 6 - 8, 2002 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2002
Schriftenreihe:	Lecture notes in computer science 2517
Schlagworte:	CAD Circuits intégrés - Vérification - Congrès Circuits intégrés numériques - Conception assistée par ordinateur - Congrès Circuits intégrés numériques - Conception et construction - Mathématiques - Congrès Micro-elektronica Méthodes formelles (Informatique) - Congrès Mathematik Digital integrated circuits > Computer-aided design > Congresses Digital integrated circuits > Design and construction > Mathematics > Congresses Formal methods (Computer science) > Congresses Integrated circuits > Verification > Congresses Model Checking Formale Methode Konferenzschrift > 2002 > Houston Tex.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge