Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Noriaki Yoshimasa"'
Publikováno v:
ICIS
An extended telephone system to avoid a phone fraud was introduced by Yamamoto et al. In this study, we prove that the extended telephone system is equivalent to the original telephone system at a level of abstraction. We conduct an automatic proof w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce97a2cff70b1b8aae3b9b719061e6a6
https://doi.org/10.1109/icis.2013.6607888
https://doi.org/10.1109/icis.2013.6607888
Publikováno v:
ICIS
In this study, we propose a tiny Lisp system that runs on an embedded education board. Before learning embedded programming with C, students used a Lisp system in order to get used to the control of the devices on the hardware. Through a three-week c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5308b691a313fc2f1c69ab4b04ca327e
https://doi.org/10.1109/icis.2013.6607902
https://doi.org/10.1109/icis.2013.6607902
Publikováno v:
2013 IEEE/ACIS 12th International Conference on Computer & Information Science (ICIS); 2013, p497-502, 6p
Publikováno v:
2013 IEEE/ACIS 12th International Conference on Computer & Information Science (ICIS); 2013, pix-xiv, 6p
Publikováno v:
2013 IEEE/ACIS 12th International Conference on Computer & Information Science (ICIS); 2013, p567-568, 2p