Execution Monitoring and Information Flow Properties

論文・著書情報

タイトル

和文:
英文:	Execution Monitoring and Information Flow Properties

著者

和文:	永藤直行, 渡部卓雄.
英文:	NAOYUKI NAGATOU, Takuo Watanabe.

言語

English

掲載誌/書名

和文:
英文:	Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN 2005)

巻, 号, ページ

pp. 221-227

出版年月

2005年6月28日

出版者

和文:
英文:	IEEE

会議名称

和文:
英文:	DSN 2005 Workshop on Dependable Software - Tools and Methods

開催地

和文:	神奈川県横浜市
英文:	Yokohama

公式リンク