| 意味 |
PRISM model checkerとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
ウィキペディア英語版での「PRISM model checker」の意味 |
PRISM model checker
出典:『Wikipedia』 (2011/04/05 14:44 UTC 版)
英語による解説
ウィキペディア英語版からの引用
引用
PRISM is a probabilistic model checker, a formal verification software tool for the modelling and analysis of systems that exhibit probabilistic behaviour . One source of such systems is the use of randomization, for example in communication protocols like Bluetooth and FireWire, or in security protocols such as Crowds and Onion routing. Stochastic behaviour also arises in many other computer systems, for example due to equipment failures or unpredictable communication delays. Yet another class of systems amenable to this kind of analysis are biochemical reaction networks.| 意味 |
PRISM model checkerのページの著作権
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのPRISM model checker (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！※モジュールの非表示は、から変更可能
みんなの検索ランキング
-
1blossom
-
2今朝は大変寒かったので、私はコートを着たままでいた。
-
3madly in love
-
4present
-
5〈同じ〉just the same
-
6primitive
-
7certain
-
8expect
-
9appreciate
-
10while
閲覧履歴
 | 「PRISM model checker」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
