Author:
Ikeda Ritsuya,Narita Kensuke,Nishizaki Shin-ya
Subject
Computer Graphics and Computer-Aided Design,Computer Science Applications,Hardware and Architecture,Software
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linear lambda calculus with non-linear first-class continuations;Proceedings of the 6th International Conference on Software and Computer Applications - ICSCA '17;2017
2. Modularization of formal specifications or efficient synthesis of reactive systems;Proceedings of the 6th International Conference on Software and Computer Applications - ICSCA '17;2017
3. Formalization of Signaling System by Process Calculus;IERI Procedia;2014
4. Software Analysis of Internet Bots Using a Model Checker;2013 International Conference on Information Science and Cloud Computing Companion;2013-12
5. Design of Open Equation Archive Server Resistant against Denial-of-Service Attacks;Mobile Communication and Power Engineering;2013