Noor Sheila Azreen

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. ARES (2009)