full record print

Temporal multi-view contracts help developing efficient test models

author
statement of authorship
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
source
publisher
journal volume number month
vol. 10, 4
year of publication
pages
p. 710-737
url
ISSN
2255-8942
2255-8950
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
category (general)
category (sub)
Reserch Group
Centre for digital forensics and cyber security
Centre for maritime cybersecurity
High-assurance software laboratory
Guin, J., Vain, J., Tsiopoulos, L., Valdek, G. Temporal multi-view contracts help developing efficient test models // Baltic journal of modern computing (2022) vol. 10, 4, p. 710-737. https://doi.org/10.22364/bjmc.2022.10.4.07