情報・システム-ソフトウェアサイエンス(開催日：1997/03/18)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]1997/3/18
[資料番号]
目次

,  

[発表日]1997/3/18
[資料番号]
二分決定グラフによる実時間システムのモデルチェッキング検証

山根 智,  中村 一博,  

[発表日]1997/3/18
[資料番号]SS96-56
非決定性フイーチャーインタラクションのペトリネットに基づく検出法の形式的証明

中村 匡秀,  角田 良明,  菊野 亨,  

[発表日]1997/3/18
[資料番号]SS96-57
プロセッサの共有とタスクの実行中断に基づいたフォールトトレラントスケジュール法の提案

森 真佐也,  土屋 達弘,  菊野 亨,  

[発表日]1997/3/18
[資料番号]SS96-58
研究支援のための自己増殖型データベースの開発

二方 厚志,  

[発表日]1997/3/18
[資料番号]SS96-59
ソフトウェア工学における最近の研究動向

松本 健一,  

[発表日]1997/3/18
[資料番号]SS96-60
[OTHERS]

,  

[発表日]1997/3/18
[資料番号]