The Dynamic-Typed Access Matrix Model and decidability of the Safety problem
Bibliographic Information
- Title
- The Dynamic-Typed Access Matrix Model and decidability of the Safety problem
- Author
- Masakazu SOSHI
Journal
-
- 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
Details 詳細情報について
-
- CRID
- 1010000781782656259
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN