Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S. Lizeth Integrating deployment architectures and resource consumption in timed object-oriented models. (English) Zbl 1304.68029 J. Log. Algebr. Methods Program. 84, No. 1, 67-91 (2015). MSC: 68N19 68N30 PDF BibTeX XML Cite \textit{E. B. Johnsen} et al., J. Log. Algebr. Methods Program. 84, No. 1, 67--91 (2015; Zbl 1304.68029) Full Text: DOI OpenURL
Broch Johnsen, Einar; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth Validating timed models of deployment components with parametric concurrency. (English) Zbl 1308.68037 Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 46-60 (2011). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{E. Broch Johnsen} et al., Lect. Notes Comput. Sci. 6528, 46--60 (2011; Zbl 1308.68037) Full Text: DOI OpenURL