Execution Monitoring and Information Flow Properties
書誌事項
- タイトル
- Execution Monitoring and Information Flow Properties
- 著者
- Naoyuki Nagatou(他1名)
収録刊行物
-
- IEEE Workshop on Dependable Software - Tools and Methods (掲載予定)
-
IEEE Workshop on Dependable Software - Tools and Methods (掲載予定) 2005