通信プロトコルの等価性及びエラーリカバリ性の検証とプログラムへの変換に関する研究

利用条件: 著作権あり

メタデータが似ているアイテム

点字の認識及び変換に関する研究

点字の認識及び変換に関する研究

非線形変換の極限図形の特徴及び分類に関する研究

非線形変換の極限図形の特徴及び分類に関する研究

書換え系の性質の形式的検証に関する研究

書換え系の性質の形式的検証に関する研究

書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究

書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究

通信ソフトウェア仕様検証技術の効率向上に関する研究

通信ソフトウェア仕様検証技術の効率向上に関する研究

ディジタル画像における曲線検出,座標変換及び修復に関する研究

ディジタル画像における曲線検出,座標変換及び修復に関する研究

通信プロトコル処理システムの構成法に関する研究

通信プロトコル処理システムの構成法に関する研究

カルデノライドの植物変換に関する研究

カルデノライドの植物変換に関する研究

並行処理プログラムのテスト充分性評価法に関する研究

並行処理プログラムのテスト充分性評価法に関する研究

プログラムの表現方法に関する研究

プログラムの表現方法に関する研究

有機非線形光導波路における波長変換および波形変換に関する研究

有機非線形光導波路における波長変換および波形変換に関する研究

つなぎ写真および俯瞰写真変換に関する研究

つなぎ写真および俯瞰写真変換に関する研究

疎結合並列システムにおける並列論理プログラム変換による耐故障化に関する研究

疎結合並列システムにおける並列論理プログラム変換による耐故障化に関する研究

プロトコルと通信ソフトウェアの設計に関する基礎的研究

プロトコルと通信ソフトウェアの設計に関する基礎的研究

5-アミノピリミジノンの変換反応に関する研究

5-アミノピリミジノンの変換反応に関する研究

並行セッションを利用した攻撃を考慮するセキュリティプロトコルの安全性検証に関する研究

並行セッションを利用した攻撃を考慮するセキュリティプロトコルの安全性検証に関する研究

乗法的および加法的変数変換による有限体の表現構造に関する研究

乗法的および加法的変数変換による有限体の表現構造に関する研究

急性および陳旧性心筋梗塞患者の体位変換にともなう血行動態変化に関する研究

急性および陳旧性心筋梗塞患者の体位変換にともなう血行動態変化に関する研究

分散プログラムの手順的デバッグ法に関する研究

分散プログラムの手順的デバッグ法に関する研究

新規リグナン類の探索及びそれらの生物変換による有用物質産生に関する研究

新規リグナン類の探索及びそれらの生物変換による有用物質産生に関する研究

フーリエ変換イオンサイクロトロン共鳴質量分析計におけるイオンのトラップ及び励起に関する研究

フーリエ変換イオンサイクロトロン共鳴質量分析計におけるイオンのトラップ及び励起に関する研究

信号変換回路の構成並びに素子値の自動補償に関する研究

信号変換回路の構成並びに素子値の自動補償に関する研究

リン脂質の酵素的変換反応に関する研究

リン脂質の酵素的変換反応に関する研究

糖質から炭素六員環化合物への酵素的および化学的変換反応の機構に関する研究

糖質から炭素六員環化合物への酵素的および化学的変換反応の機構に関する研究

最終更新日:

登録日: 2020-12-17