Sign in

Towards a Formal Model of Recursive Self-Reflection.

Axel Jantsch
Published in: ASD@DATE (2019)
Keyphrases
  • formal model
  • formal models
  • security patterns
  • security properties
  • predicate calculus
  • real time
  • data sets
  • neural network
  • distributed systems
  • probabilistic knowledge
  • recursive functions