Total Publications: 15

  • Coverage-Directed Observability-Based Validation Method for Embedded Software
    José Carlos Campos Costa, Instituto Superior Técnico, Thesis, January 2010
  • Métodos de Estimação da Potência Dissipada em Circuitos Lógicos
    José Carlos Campos Costa, Instituto Superior Técnico, Thesis, January 1999