Borda, A., Pasquale, L., Koutavas, V., & Nuseibeh, B. (2018, May 28). Compositional verification of self-adaptive cyber-physical systems. 2018 IEEE ACM 13th International Symposium on Software Engineering for Adaptive and Self Managing Systems (SEAMS), 1-11. https://doi.org/10.1145/3194133.3194146
Citace podle Chicago (17th ed.)Borda, Aimee, Liliana Pasquale, Vasileios Koutavas, a Bashar Nuseibeh. "Compositional Verification of Self-adaptive Cyber-physical Systems." 2018 IEEE ACM 13th International Symposium on Software Engineering for Adaptive and Self Managing Systems (SEAMS) 28 May. 2018: 1-11. https://doi.org/10.1145/3194133.3194146.
Citace podle MLA (9th ed.)Borda, Aimee, et al. "Compositional Verification of Self-adaptive Cyber-physical Systems." 2018 IEEE ACM 13th International Symposium on Software Engineering for Adaptive and Self Managing Systems (SEAMS), 28 May. 2018, pp. 1-11, https://doi.org/10.1145/3194133.3194146.