Login / Signup

Towards Specification Completion for Systems with Emergent Behavior based on DevOps.

Mohamed Toufik AilaneAdina AniculaeseiChristoph KniekeAndreas RauschFauzi Sholichin
Published in: CSCI (2022)
Keyphrases
  • complex systems
  • data sets
  • expert systems
  • management system
  • computer systems
  • computing systems
  • high level
  • multiscale
  • formal specification
  • formal methods
  • emergent behavior