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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2813955
بازگشت