Publicaciones en las que colabora con Fernando Lopez Pelayo (9)

2008

  1. A comparative study of STOPA and RTPA

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. A formal specification of the memorization process

    Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170

2007

  1. A Formal Specification of the Memorization Process

    International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 4, pp. 47-60

2005

  1. A formal methodology to test complex embedded systems: Application to interactive driving system

    From Specification to Embedded Systems Application

  2. A formal methodology to test complex embedded systems: Application to interactive driving system

    IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136

  3. Specifying the memorization process with STOPA

    Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005

  4. Specifying the memorization process with STOPA

    ICCI 2005: FOURTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS - PROCEEDINGS

2004

  1. Preface

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. STOPA: A STOchastic process algebra for the formal representation of cognitive systems

    Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004