Sign in

Alice and Bob: Reconciling Formal Models and Implementation.

Omar AlmousaSebastian MödersheimLuca Viganò
Published in: Programming Languages with Applications to Biology and Security (2015)
Keyphrases
  • formal models
  • rule based systems
  • formal model
  • implementation details
  • expert systems
  • machine learning
  • implementation issues
  • databases
  • fuzzy sets
  • process model