国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(1)
2000年代
(4)
2010年代
(4)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(5)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(4)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(4)
紙
(5)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 9 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
並列プログラムに現れる非同期型通信の
プロセス代数
による解析・検証
並列プログラムに現れる非同期型通信のプロセス代数による解析・検証
紙
図書
大塚寛, 愛媛大学 [著]
[大塚寛]
2002-2004
<Y151-H14540121>
国立国会図書館
件名
モデル検証 / 協調型言語 /
プロセス代数
/ クリプケ構造 / 失敗集合
構造的動作意味定義に基づく実時間並行ソフトウェアの構築
構造的動作意味定義に基づく実時間並行ソフトウェアの構築
紙
図書
結縁祥治, 名古屋大学 [著]
[結縁祥治]
2001-2003
<Y151-H13680408>
国立国会図書館
件名
並行計算モデル / 構造的操作意味定義 /
プロセス代数
/ 実時間処理 / 合同性
適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究
適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究
紙
図書
渡部卓雄, 東京工業大学, 国立情報学研究所 [著]
[渡部卓雄]
2003-2004
<Y151-H15500028>
国立国会図書館
件名
ポリシー強制 / バイトコード変換 /
プロセス代数
/ 自己検査コード / 実行時検査 / 適応的ソフトウェア...
進化型エージェントアーキテクチャによる組織構造に基づいたセキュリティの実現
進化型エージェントアーキテクチャによる組織構造に基づいたセキュリティの実現
紙
図書
飯島正, 慶應義塾大学 [著]
[飯島正]
2001-2003
<Y151-H13680490>
国立国会図書館
件名
セキュリティポリシ / 進化型アーキテクチャ / エージェント / ワークフロー / Webサービス / ペリネット /
プロセス代数
/ プロセス論理
多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究
多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究
デジタル
文書・図像類
加藤, 暢
近畿大学
2018
科学研究費助成事業研究成果報告書 (2017)
p.1-4
全国の図書館
件名
物流システム モデル化 モデル検査
プロセス代数
Ambient Calculus
Ambient Calculsの拡張とそれに基づく物流監視システムの構築
Ambient Calculsの拡張とそれに基づく物流監視システムの構築
デジタル
文書・図像類
樋口, 昌宏
近畿大学
2016
科学研究費助成事業研究成果報告書 (2015)
p.1-4
全国の図書館
件名
仕様記述
プロセス代数
時間制約 モデル検査
書換え計算の可視化に基づくプログラミング環境の実現
書換え計算の可視化に基づくプログラミング環境の実現
紙
図書
稲垣, 康善, 名古屋大学
1995-1997
<Y151-H07558037>
国立国会図書館
件名
可視化 書換え計算モデル
プロセス代数
視覚的支援 プログラミング環境 関数型言語 計算モデル 代...
時間概念を導入したAmbient Calculusによる物流システムの記述
時間概念を導入したAmbient Calculusによる物流システムの記述
デジタル
文書・図像類
樋口, 昌宏
近畿大学
2012-01-01
科学研究費助成事業研究成果報告書 (2012. )
p.1-4
全国の図書館
件名
仕様記述 仕様検証
プロセス代数
モデル検査
物流システムに対する
プロセス代数
を用いた配送監視システムの構築に関する研究
物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究
デジタル
文書・図像類
加藤, 暢
近畿大学
2013-01-01
科学研究費助成事業研究成果報告書 (2013. )
p.1-4
全国の図書館
件名
サービス構築基盤技術 物流システム
プロセス代数
モデル検査
検索結果は以上です。
書誌情報を一括出力