PRAKASH Arun について
Fraunhofer FOKUS, Berlin, DEU について
THEISZ Zoltan について
Ericsson Ireland Ltd., Athlone, IRL について
CHAPARADZA Ranganai について
Fraunhofer FOKUS, Berlin, DEU について
Lecture Notes in Computer Science について
コンピュータ について
要素 について
モデル化 について
検証 について
形式的方法 について