Publicaciones 1996

• [Breuer et al. 96a]
  Peter T. Breuer, Carlos Delgado Kloos, Natividad Martínez Madrid, Luis Sánchez Fernández, Andrés Marín López: A Refinement Calculus for VHDL, European Design Automation Conference: EuroDAC with EuroVHDL '96, Geneva (Switzerland), 16-20 Sept. 1996, IEEE Press 1996
  
  
• [Breuer et al. 96b]
  Peter T. Breuer, Natividad Martínez Madrid, Luis Sánchez Fernández, Carlos Delgado Kloos: An Algebra for VHDL with Signal Attributes, presented in the conference APCHDL'96 (3rd Asia Pacific Conference on Hardware Description Languages), Bangalore (India), 8-10 Enero 1996
  
  
• [Breuer et al. 96c]
  Peter T. Breuer, Natividad Martínez Madrid, Andrés Marín López, Luis Sánchez Fernández, Carlos Delgado Kloos: Putting Logical Time into a Real-Time Language, presented in the conference APCHDL'96 (3rd Asia Pacific Conference on Hardware Description Languages), Bangalore (India), 8-10 Enero 1996
  
  
• [Breuer et al. 96d]
  Peter T. Breuer, Natividad Martínez Madrid, Luis Sánchez Fernández, Andrés Marín López, Carlos Delgado Kloos: A Formal Method for Specification and Refinement of Real-Time Systems, presented in the conference 8th EuroMicro Workshop on Real Time Systems, L'Aquila (Italia), 12-14 Jun. 1996; IEEE Computer Society Press 1996
  
  
• [Carreras et al. 96]
  Carlos Carreras Vaquer, Juan Carlos López López, María Luisa López, Carlos Delgado Kloos, Natividad Martínez Madrid, Luis Sánchez Fernández: A Co-Design Methodology Based on Formal Specification and High-level Estimation, article presented in the conference 4th International Workshop on Hardware/Software Co-Design - CODES/CASHE'96, Pittsburgh, MA. USA, 18-20 Mar. 96; IEEE Press
  
  
• [Sánchez et al. 96]
  Luis Sánchez Fernández, María Luisa López Vallejo, Natividad Martínez Madrid, Carlos Carreras Vaquer, Juan Carlos López López, Carlos Delgado Kloos, Ander Royo Orejas, Peter T. Breuer: Co-Design at Work: The Ethernet Bridge Case Study, capítulo in Current Issues in Electronic Modeling, number 8, Kluwer Academic Publishers, Diciembre 1996