Noor Sheila Azreen

	2009
1		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: 624-629

Coauthor Index

1	Jingde Cheng	[1]
2	Yuichi Goto	[1]
3	Daisuke Horie	[1]
4	Shoichi Morimoto	[1]
5	Kenichi Yajima	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page