![](/img/cover-not-exists.png)
[IEEE 2015 International Conference on Platform Technology and Service (PlatCon) - Jeju, South Korea (2015.1.26-2015.1.28)] 2015 International Conference on Platform Technology and Service - Using Hazard Analysis STAMP/STPA in Developing Model-Oriented Formal Specification toward Reliable Cloud Service
Hata, Akihiro, Araki, Keijiro, Kusakabe, Shigeru, Omori, Yoichi, Lin, Hsin-HungYear:
2015
Language:
english
DOI:
10.1109/platcon.2015.14
File:
PDF, 108 KB
english, 2015