Login / Signup

Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models.

Norbert SomogyiGergely Mezei
Published in: SN Comput. Sci. (2024)
Keyphrases
  • formal model
  • formal models
  • statistical models
  • neural network
  • model selection
  • statistical model
  • model checking
  • information systems
  • intrusion detection
  • parameter estimation
  • security properties