Search results 9
Paper図書
National Diet Library
- Subject Headingモデル検証 / 協調型言語 / プロセス代数 / クリプケ構造 / 失敗集合
Paper図書
National Diet Library
- Subject Heading並行計算モデル / 構造的操作意味定義 / プロセス代数 / 実時間処理 / 合同性
Paper図書
National Diet Library
- Subject Headingポリシー強制 / バイトコード変換 / プロセス代数 / 自己検査コード / 実行時検査 / 適応的ソフトウェア...
Paper図書
National Diet Library
- Subject Headingセキュリティポリシ / 進化型アーキテクチャ / エージェント / ワークフロー / Webサービス / ペリネット / プロセス代数 / プロセス論理
Digital文書・図像類
Other Libraries in Japan
- Subject Heading物流システム モデル化 モデル検査 プロセス代数 Ambient Calculus
Digital文書・図像類
Other Libraries in Japan
- Subject Heading仕様記述 プロセス代数 時間制約 モデル検査
Paper図書
National Diet Library
- Subject Heading可視化 書換え計算モデル プロセス代数 視覚的支援 プログラミング環境 関数型言語 計算モデル 代...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading仕様記述 仕様検証 プロセス代数 モデル検査
Digital文書・図像類
Other Libraries in Japan
- Subject Headingサービス構築基盤技術 物流システム プロセス代数 モデル検査
Reached to the end of result.