Leveraging Semi-formal Approaches for DepDevOps.

Wanja Zaeske Umut 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