スポンサーリンク
電子技術総合研究所 情報アーキテクチャ部 | 論文
- Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
- LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : プロセス部 : INTAP研究開発委員会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
- IEEE Real-Time Systems Simposium (RTSS'00)及びInt'l Conference on Real-Time Computing Systems and Applications (RTCSA'00)の会議報告
- IEEE Real-Time Systems Simposium (RTSS'00)及びInt'l Conference on Real-Time Computing Systems and Applications (RTCSA'00)の会議報告
- IEEE Real-Time Systems Simposium (RTSS'00) 及び Int'l Conference on Real-Time Computing Systems and Applications (RTCSA'00) の会議報告
- 時間表現を含む分散システムの仕様記述法とそのテストの実現
- 形式仕様技術に基づく相互運用性試験について
- 代数型言語によるプロトコルの形式仕様記述 (電子計算機相互運用デ-タベ-スシステム)
- Estelle言語の特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)
- 階層的仕様言語HISP に基づく変換法プログラミング (プログラム設計技法)
- 82-15 プログラム開発の形式的な取り扱い
- 81-06 設計シールとしての形式的仕様
- 節展開法を用いた論理関数の主項の生成
- 離接演算子をもつLOTOS仕様における偶発性
- 離接演算子をもつLOTOS仕様における偶発性
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)