意味 |
Stutter bisimulationとは 意味・読み方・使い方
追加できません
(登録数上限)
ウィキペディア英語版での「Stutter bisimulation」の意味 |
Stutter bisimulation
出典:『Wikipedia』 (2011/05/06 22:37 UTC 版)
Let TS=(S,Act,→,I,AP,L) be a transition system. A stutter bisimulation for TS is
a binary relation R on S such that for all (s1,s2) which is in R:
意味 |
Stutter bisimulationのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのStutter bisimulation (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
「Stutter bisimulation」のお隣キーワード |
Stutter bisimulation
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると
|