Informática
Facultad
Kyushu University
Fukuoka, JapónPublicaciones en colaboración con investigadores/as de Kyushu University (3)
2018
-
Specification and Verification of Invariant Properties of Transition Systems
Proceedings - Asia-Pacific Software Engineering Conference, APSEC
2015
-
Message from the IEEE MCSoC-15 Program Co-Chairs
Proceedings - IEEE 9th International Symposium on Embedded Multicore/Manycore SoCs, MCSoC 2015
2008
-
IMIS 2008 message from the workshop organizers MUE 2008
Proceedings - 2008 International Conference on Multimedia and Ubiquitous Engineering, MUE 2008