Inproceedings,

DevOps meets formal modelling in high-criticality complex systems.

, and .
QUDOS@SIGSOFT FSE, page 7-12. ACM, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews