Search results 1
Digital文書・図像類
Other Libraries in Japan
- Subject Headingモデル検査 活性 公平性 準公平性 分割統治 公平性の理解 反例 Maude
- Note (General)...る。本研究では、"公平性 ⇒ 準公平性"を満たし、公平性より小さな論理式である準公平性を探し、"準公平性 ⇒ 活性"をモデル検査するこ......活性"の代わりに、"公平性⇒ 準公平性" と"準公平性 ⇒ 活性"をモデル検査することである。 : Model c...