通信-通信方式(開催日:1996/07/26)

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

,  

[発表日]1996/7/26
[資料番号]
目次

,  

[発表日]1996/7/26
[資料番号]
半順序法による並行システムの効率的な検証について

平石 邦彦,  

[発表日]1996/7/26
[資料番号]CST96-9
コンカレント工学の技術を利用するソフトウェアの計量化についての一考察

上田 佳寛,  鶴岡 亮,  安藤 津芳,  

[発表日]1996/7/26
[資料番号]CST96-10
拡張マークグラフの構造的性質の解析

辻 孝吉,  

[発表日]1996/7/26
[資料番号]CST96-11
コンカレントシステムの仕様記述法について

長谷川 晴朗,  

[発表日]1996/7/26
[資料番号]CST96-12
活性な自由選択ペトリネットが可到達であるための必要十分条件

松本 忠,  

[発表日]1996/7/26
[資料番号]CST96-13
非同期選択ペトリネットの活性条件

松本 忠,  恐神 正博,  

[発表日]1996/7/26
[資料番号]CST96-14
[OTHERS]

,  

[発表日]1996/7/26
[資料番号]