Sign in

Leveraging Semi-formal Approaches for DepDevOps.

Wanja ZaeskeUmut Durak
Published in: SAFECOMP Workshops (2020)
Keyphrases
  • database
  • real time
  • web services
  • special case
  • databases
  • computer vision
  • information technology
  • strengths and weaknesses
  • formal specification
  • alternative approaches