About HONMA KEI
About 宮城大 大学院事業構想学研究科
About TAKAHASHI KAORU
About 仙台電波工高専
About TOGASHI ATSUSHI
About 宮城大 大学院事業構想学研究科
About 電子情報通信学会技術研究報告
About modeling
About program verification
About formal method
About finite state machine
About model checking
About application program
About consistency(computer)
About state transition diagram
About SPIN
About web application
About software verification
About modeling
About screen
About consistency
About finite state automaton
About Information processing in general
About Automaton theory
About 形式的手法
About Webアプリケーション
About モデル化
About 検証