|
証明の手戻りを防止するEvent-Bモデルの変更手法
佐藤 直人 石川 冬樹 | 誌名: 電子情報通信学会論文誌 D
発行日: 2016/09/01
Vol. J99-D
No. 9
pp. 895-914
論文種別:
論文
専門分野: ソフトウェアシステム
キーワード:
形式手法, Event-B, 証明責務, | | | あらまし | 本文:PDF(763.4KB) | |
|
|
|
|
並行オブジェクト指向プログラミングにおける効率的な 再帰メソッド呼出し機構の提案
柳川 和久 佐藤 直人 大澤 範高 弓場 敏嗣 | 誌名: 電子情報通信学会論文誌 D
発行日: 1999/08/25
Vol. J82-D1
No. 8
pp. 980-987
論文種別:
論文
専門分野: ソフトウェア基礎
キーワード:
並行オブジェクト, 再帰, デッドロック, | | | あらまし | 本文:PDF(956.7KB) | |
|
符号誤り監視結果を併用したフレーム同期方式
佐藤 直 | 誌名: 電子情報通信学会論文誌 B
発行日: 1990/10/25
Vol. J73-B1
No. 10
pp. 768-776
論文種別:
論文
専門分野: 通信方式，通信伝送機器
キーワード:
| | | あらまし | 本文:PDF(722.1KB) | |
|
同期安定度を改善するフレーム同期方式の提案
佐藤 直 | 誌名: 電子情報通信学会論文誌 B
発行日: 1984/04/25
Vol. J67-B
No. 4
pp. 432-438
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(530.9KB) | |
|
ディジタル網回線損失の最適設計
澤栗 達也 山本 豊 佐藤 直 | 誌名: 電子情報通信学会論文誌 B
発行日: 1983/06/25
Vol. J66-B
No. 6
pp. 735-742
論文種別:
論文
専門分野:
キーワード:
| | | あらまし | 本文:PDF(641.7KB) | |
|
