The researchers compared several bisimulations to determine which one best preserved the system's behavioral properties.
研究者たちは複数のビシミュレーションを比較して、どれがシステムの振る舞いの性質を最もよく保持するかを判断した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
