About MIYAJIMA TAKUMI
About KOGAI KEI
About UEDA YOSHIKAZU
About YAMAGATA TOMOYUKI
About TAKEZAWA TAKAYUKI
About 日本ソフトウェア科学会大会講演論文集(CD-ROM)
About information system
About control equipment
About model checking
About property
About module structure
About combinational problem
About decomposition method
About modeling
About search problem
About program test
About modularity
About information control systems
About state explosion problem
About centralized traffic control system
About Theory of computation
About Computer system development
About 情報制御システム
About 段階
About 検査
About 検証