full record print

Temporal multi-view contracts for efficient test models

author
statement of authorship
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
source
Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings
location of publication
Cham
publisher
year of publication
pages
p. 136–151
series
conference name, date
Baltic DB&IS 2022 : Digital Business and Intelligent Systems : 15th International Baltic Conference, July 4-6, 2022
conference location
Riga, Latvia
url
ISSN
1865-0929
1865-0937
ISBN
978-3-031-09849-9
978-3-031-09850-5
notes
Bibliogr.: 15 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
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 for efficient test models // Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings. Cham : Springer Nature, 2022. p. 136–151. (Communications in Computer and Information Science ; 1598). https://doi.org/10.1007/978-3-031-09850-5_10