Tomasz Górski. Verification of Architectural Views Model 1+5 Applicability. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2019 - 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers, Part I. Volume 12013 of Lecture Notes in Computer Science, pages 499-506, Springer, 2019. [doi]
Abstract is missing.