A unified formal model of ISA and FSMD.

Jianwen Zhu Daniel Gajski

Published in: CODES (1999)

Keyphrases

formal model
formal models
neural network
predicate calculus
database
artificial intelligence
security properties
probabilistic knowledge