研究発表等の成果普及活動 - 河野 真治
-
Parallelization of Temporal Logic Verification by Dividing State Set
Shiji Kono
1st International Workshop on Specification and Verification of Timed Systems 1999年03月 - 1999年03月
-
マルチポイント・ニュースリーダの実装と評価
島袋 政辰,河野 真治
日本ソフトウェア科学会第15回大会論文集 1998年09月 - 1998年09月
-
命題時相論理の決定手続きの比較
比嘉 薫,河野 真治
日本ソフトウェア科学会第15回大会論文集 1998年09月 - 1998年09月
-
マルチポイント・ニュースリーダの実装と評価
島袋 政辰,河野 真治
IPSJ OS, CPSY 1998年05月 - 1998年05月
-
同期型タプル通信を用いたマルチユーザ Playstation ゲームシステム
仲宗根 雅臣,河野 真治
IPSJ OS, CPSY 1998年05月 - 1998年05月
-
状態集合の分割による時相論理検証の並列化
河野 真治,池村 正之
電気学会・電子情報通信学会合同講演会 1998年 - 1998年
-
デバイスとそのドライバを記述するための言語
河野 真治,安里 朋之
日本ソフトウェア科学会第14回大会論文集 1997年09月 - 1997年09月
-
2ITL: Logic which has a Process as a value of a variable
Shinji Kono
Int. Tech. Conf. on Circuits/Systems, Computers adn Communications ITCCSCC 97 1997年07月 - 1997年07月
-
2階の論理によるプログラミング手法
河野 真治
電子情報通信学会SS研 1996年11月 - 1996年11月
-
プロセスを値として持つ論理 2ITL
河野 真治
日本ソフトウェア科学会第13回大会論文集 1996年09月 - 1996年09月
-
2ITL: Logic which has process as a value of a variable
Shinji Kono
In 13th Conference Proceedings of Japan Society for Software Science and Technology (in Japanese) 1996年09月 - 1996年09月
-
Execution and verification of 2nd order interval temporal logic
Shinji Kono
RIMS Workshops in Computing Concurrency Theory and Applications '96 1996年07月 - 1996年07月
-
時相論理によるプログラム生成は実用的か?
河野真治
時相論理によるプログラム生成は実用的か? 1994年07月 - 1994年07月
-
Is Temporal Logic based Program Systemsis Practical?
Shinji Kono
Is Temporal Logic based Program Systemsis Practical? 1994年07月 - 1994年07月
-
A Combination of Clausal and Non Clausal Temporal Logic Program
Shinji Kono
Executable Modal and Temporal Logics 1994年 - 1994年
-
Perl Introducation
Shinji Kono
Perl Introducation 1994年 - 1994年
-
Perl入門
河野 真治
Perl入門 1994年 - 1994年
-
Synthesis of Contrllers from Interval Temporal Loigc Specification
Masahiro Fujita,Shinji Kono
International Conference on Computer Design 1993年10月 - 1993年10月
-
A Combination of Clasual and Non Clausal Temporal Logic Program
Shinji Kono
A Combination of Clasual and Non Clausal Temporal Logic Program 1993年08月 - 1993年08月
-
Synthesis of Contrllers from Interval Temporal Loigc Specification
Masahiro Fujita,Shinji Kono
Synthesis of Contrllers from Interval Temporal Loigc Specification 1993年05月 - 1993年05月