[Climate Change Management] Climate Change and the Sustainable Use of Water Resources || Integrated Industrial Water Management as a Tool for Mitigating Climate Change
- 作者Leal Filho, Walter
- 文件大小1631.41KB
- 发表时间2012
- DOI10.1007/978-3-642-22266-5_38
- 页码627-639
[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 4762 || On-the-Fly Model Checking of Fair Non-repudiation ProtocolsNamjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio · 2007
[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 4762 || A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov ChainsNamjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio · 2007
[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 4762 || Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL DescriptionsNamjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio · 2007