Run-time security traceability for evolving systems /
保存先:
| 第一著者: | Bauer, Andreas. |
|---|---|
| その他の著者: | Jurjens, Jan., Yu, Yijun. |
| フォーマット: | 論文 |
| 言語: | English |
| 主題: | |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
類似資料
-
A secure key establishment protocol for zigbee wireless sensor networks /
著者:: Yuksel, Ender. -
Formal Methods for Industrial Critical Systems:
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
著者:: Núñez, Manuel, 等
出版事項: (2015) - Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving
-
Closing a system in the dynamic input/output automata model /
著者:: Kapus, Tatjana. -
"3+3 process" for safety critical software for I&C system in nuclear power plants /
著者:: Jung, Jae-Cheon.