Run-time security traceability for evolving systems /

類似資料

• 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.