2002 | ||
---|---|---|
2 | EE | Atsushi Kumazaki, Masami Noro, Han-Myung Chang, Yoshinari Hachisu: An Application Framework for TCP/IP Applications. COMPSAC 2002: 627-634 |
1996 | ||
1 | EE | Syouri Kouno, Han-Myung Chang, Keijiro Araki: Consistency Checking between Data and Process Diagrams Based on Formal Methods. COMPSAC 1996: 261-269 |
1 | Keijiro Araki | [1] |
2 | Yoshinari Hachisu | [2] |
3 | Syouri Kouno | [1] |
4 | Atsushi Kumazaki | [2] |
5 | Masami Noro | [2] |