Publication: B - Abstracts of IEICE TRANSACTIONS on Communications (Japanese Edition)
Publication Date: 2006/04/01
Vol. J89-B
No. 4
pp. 488-497
Type of Manuscript: Special Section PAPER (Special Issue on Networks Software)
Category:
Keyword:
specification inspection,
feature interaction,
seeming interaction,
specification execution model,
|
