Book chapters (3) Publications in which a researcher has participated

2006

  1. A Novel Context-Aware System Based on a Bluetooth Sensor Network

    Exploiting the knowledge economy: issues, applications and case studies, pts 1 and 2 (IOS PRESS), pp. 1657-1664

  2. Certifying properties of programs using theorem provers

    Verification, Validation and Testing in Software Engineering (IGI Global), pp. 220-287

  3. Tecnoloxía SIX e web para a dinamización dp mercado de terras en Galicia

    Sociedade da información en espacios periféricos: novas formas de exclusión social (Servicio de Publicaciones e Intercambio Científico), pp. 199-210