Using hazard analysis STAMP/STPA in developing model-oriented formal specification toward reliable cloud service

Akihiro Hata, Keijiro Araki, Shigeru Kusakabe, Yoichi Omori, Hsin Hung Lin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Using hazard analysis STAMP/STPA in developing model-oriented formal specification toward reliable cloud service'. Together they form a unique fingerprint.

Engineering & Materials Science