Developing multi-view Contracts using Event-B and Uppaal Timed AutomataVain, Jüri; Tsiopoulos, Leonidas; Guin, Jishu2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings2016 / p. 126-134 : ill https://doi.org/10.1109/ICECCS.2016.024

Temporal multi-view contracts for efficient test modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertDigital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings2022 / p. 136–151 https://doi.org/10.1007/978-3-031-09850-5_10 Conference proceedings at Scopus Article at Scopus

Temporal multi-view contracts help developing efficient test modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertBaltic journal of modern computing2022 / p. 710-737 https://doi.org/10.22364/bjmc.2022.10.4.07 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS