Execution Monitoring and Information Flow Properties
-
- 渡部 卓雄
- 東京工業大学
書誌事項
- タイトル
- Execution Monitoring and Information Flow Properties
- 著者
- Naoyuki Nagatou, Takuo Watanabe
収録刊行物
-
- Workshop on Dependable Software-Tools and Methods (Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN 2005))(IEEE Press)
-
Workshop on Dependable Software-Tools and Methods (Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN 2005))(IEEE Press) 221-227, 2005
