文献
J-GLOBAL ID:201502203347996430
整理番号:15A0622689
安全解析におけるモデリング形式の比較:SAMLとAltaRica
Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica
著者 (5件):
LIPACZEWSKI Michael
(Otto-von-Guericke Univ. Magdeburg, Computer Systems in Engineering, Magdeburg, DEU)
,
ORTMEIER Frank
(Otto-von-Guericke Univ. Magdeburg, Computer Systems in Engineering, Magdeburg, DEU)
,
PROSVIRNOVA Tatiana
(LIX - Ecole Polytechnique, route de Saclay, 91128 Palaiseau cedex, FRA)
,
RAUZY Antoine
(LIX - Ecole Polytechnique, route de Saclay, 91128 Palaiseau cedex, FRA)
,
STRUCK Simon
(Otto-von-Guericke Univ. Magdeburg, Computer Systems in Engineering, Magdeburg, DEU)
資料名:
Reliability Engineering & System Safety
(Reliability Engineering & System Safety)
巻:
140
ページ:
191-199
発行年:
2015年08月
JST資料番号:
D0980B
ISSN:
0951-8320
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
イギリス (GBR)
言語:
英語 (EN)