The Dynamic-Typed Access Matrix Model and decidability of the Safety problem
書誌事項
- タイトル
- The Dynamic-Typed Access Matrix Model and decidability of the Safety problem
- 著者
- Masakazu SOSHI
収録刊行物
-
- IEICE Transactions on fundamentals of Electronics, Communication and Computer Science E-87, No.1
-
IEICE Transactions on fundamentals of Electronics, Communication and Computer Science E-87, No.1 190-203, 2004
- Tweet
詳細情報
-
- CRID
- 1010000781782656259
-
- 資料種別
- journal article
-
- データソース種別
-
- KAKEN