A Co-Design Methodology Based on Formal Specification and High-level Estimation

@article{carreras1996,
  title = {A Co-Design Methodology Based on Formal Specification and High-level Estimation},
  author = {Carlos Carreras and Juan Carlos López and María Luisa López Vallejo and Luis Sánchez and Carlos Delgado Kloos and Natividad Martínez Madrid},
  journal = {CODES},
  year = {1996},
  month = {Jan},
}

Carlos Carreras et al. (1996). A Co-Design Methodology Based on Formal Specification and High-level Estimation. CODES.

Carlos Carreras, et al.. "A Co-Design Methodology Based on Formal Specification and High-level Estimation." CODES, 1996.

Carlos Carreras, et al.. "A Co-Design Methodology Based on Formal Specification and High-level Estimation." CODES (1996).

Carlos Carreras et al., 1996. A Co-Design Methodology Based on Formal Specification and High-level Estimation. CODES.

TY  - JOUR
TI  - A Co-Design Methodology Based on Formal Specification and High-level Estimation
AU  - Carlos Carreras
AU  - Juan Carlos López
AU  - María Luisa López Vallejo
AU  - Luis Sánchez
AU  - Carlos Delgado Kloos
AU  - Natividad Martínez Madrid
PY  - 1996
JO  - CODES
ER  -