Login / Signup

KnowLang - A Formal Specification Model for Self-adaptive Systems.

Mike HincheyEmil Vassev
Published in: Theories of Programming and Formal Methods (2023)
Keyphrases
  • management system
  • probabilistic model
  • formal specification
  • formal methods
  • process algebra
  • database systems
  • user interface
  • metamodel
  • model checker