Login / Signup
The Dynamic-Typed Access Matrix Model and Decidability of the Safety Problem.
Masakazu Soshi
Mamoru Maekawa
Eiji Okamoto
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2004)
Keyphrases
</>
computational model
experimental data
probabilistic model
statistical model
least squares
prediction model
data sets
higher order
mathematical model