Faculty Information
日本語
閉じる
Nakata Akio
Department / Course
Hiroshima City University Graduate School Graduate School of Information Sciences Major in Systems Engineering
Hiroshima City University Faculty of Information Sciences Department of Systems Engineering
Job
Professor
Activity in society
2015/11/24 ~ 2016/11
The 18th International Conference on Formal Engineering Methods (ICFEM 2016) Program Committee
2007/01 ~ 2007/12
Program Committee member, 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007)
閉じる