full record print

Aspect-oriented Model-based testing with UPPAAL timed automata

author
statement of authorship
Jüri Vain, Leonidas Tsiopoulos & Gert Kanter
source
location of publication
Cham
publisher
year of publication
pages
p. 117-124
series
conference name, date
10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021
conference location
Virtual Conference
url
ISSN
0302-9743
1611-3349
ISBN
978-3-030-78427-0
978-3-030-78428-7
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
Reserch Group
Centre for digital forensics and cyber security
Centre for maritime cybersecurity
High-assurance software laboratory
Vain, J., Tsiopoulos, L., Kanter, G. Aspect-oriented Model-based testing with UPPAAL timed automata // Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings. Cham : Springer Nature, 2021. p. 117-124. (Lecture notes in computer science ; 12732). https://doi.org/10.1007/978-3-030-78428-7_10