Login / Signup
Toward the Ontology-Based Security Verification and Validation Model for the Vehicular Domain.
Abdelkader Magdy Shaaban
Christoph Schmittner
Gerald Quirchmayr
A. Baith Mohamed
Thomas Gruber
Erich Schikuta
Published in:
ICONIP (4) (2019)
Keyphrases
</>
computational model
probabilistic model
formal model
domain models
verification method
prior knowledge
management system
domain specific
experimental data
neural network
information systems
knowledge base
domain knowledge
em algorithm
statistical model
model checking