full record print

Model-based testing of autonomous robots using TestIt

author
statement of authorship
Gert Kanter, Jüri Vain
source
Journal of reliable intelligent environments
publisher
journal volume number month
vol. 6, 1
year of publication
pages
p. 15-30
url
ISSN
2199-4668
notes
Bibliogr.: 19 ref
scientific publication
teaduspublikatsioon
language
inglise
Reserch Group
High-assurance software laboratory
Kanter, G., Vain, J. Model-based testing of autonomous robots using TestIt // Journal of reliable intelligent environments (2020) vol. 6, 1, p. 15-30. https://doi.org/10.1007/s40860-019-00095-w