Publicaciones en colaboración con investigadores/as de Kyushu University (3)

2018

  1. Specification and Verification of Invariant Properties of Transition Systems

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC

2015

  1. Message from the IEEE MCSoC-15 Program Co-Chairs

    Proceedings - IEEE 9th International Symposium on Embedded Multicore/Manycore SoCs, MCSoC 2015

2008

  1. IMIS 2008 message from the workshop organizers MUE 2008

    Proceedings - 2008 International Conference on Multimedia and Ubiquitous Engineering, MUE 2008