Affiliation:
1. Division of Electrical, Electronic and Information Engineering, Graduate School of Engineering, Osaka University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Case Study of Choreography Realizability Checking on Smart Home Application;2021 IEEE International Conference on Consumer Electronics (ICCE);2021-01-10
2. A Study on Re-Constructibility of Event Structures;IEICE Transactions on Information and Systems;2020-08-01
3. CSCB Tools: Tool for Supporting Synthesizing Hierarchical State Machines from Two Scenarios;2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2018-10
4. Realizability of Choreography Given by Two Scenarios;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2018
5. Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram;IEICE Transactions on Information and Systems;2017