DocumentCode
2813955
Title
A design environment with simulation and formal verification (syr-padde)
Author
Bertran, M. ; Alverez-Cuevas, F. ; Viaplana, J. ; Duran, Angel ; Cabedo, D. ; Garrell, A. ; Garrell, J.M. ; Escudero, F. ; Nicolau, Miguel ; Porta, Marco ; Palmer, Bruce ; Espejo, J.M. ; Oller, F. ; Forga, J. ; Solanas, J.M.
fYear
1994
fDate
24-27 April 1994
Keywords
Atherosclerosis; Communication industry; Design automation; Formal verification; Internetworking; Protocols; Statistics; Telecommunications; Testing; Zinc;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks, 1994. (CAMAD '94) Fifth IEEE International Workshop on
Conference_Location
Princeton, NJ, USA
Type
conf
DOI
10.1109/CAMAD.1994.765636
Filename
765636
Link To Document