An edition of Formal methods in computer-aided design (2004)
Formal methods in computer-aided design
5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings
By FMCAD 2004 (2004 Austin, Texas)
Publish Date
2004
Publisher
Springer
Language
eng
Pages
444
Description:
subjects: Computer-aided design, Congresses, Design and construction, Digital integrated circuits, Formal methods (Computer science), Integrated circuits, Mathematics, Verification, Circuit integre numerique, Conception et construction, Methode formelle, Conception assistee par ordinateur, Congres, Mathematiques, Circuits integres numeriques, Model-checking (Informatique), Methodes formelles (Informatique), Circuits integres, Software engineering, Circuits intégrés numériques, Conception assistée par ordinateur, Congrès, Circuits intégrés, Vérification, Méthodes formelles (Informatique), Mathématiques, Méthode formelle, Circuit intégré numérique