Model-based testing of autonomous robots using TestIt
author
Kanter, Gert
Vain, Jüri
statement of authorship
Gert Kanter, Jüri Vain
source
Journal of reliable intelligent environments
publisher
Springer
journal volume number month
vol. 6, 1
year of publication
2020
pages
p. 15-30
url
https://doi.org/10.1007/s40860-019-00095-w
subject term
autonoomsed robotid
automatiseerimine
mudelprojekteerimine
tark linn
keyword
autonomous robotics
robot operating system
integration testing
model-based testing
smart buildings
simulation
ISSN
2199-4668
notes
Bibliogr.: 19 ref
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/21100901156
https://www.scopus.com/record/display.uri?eid=2-s2.0-85077558124&origin=inward&txGid=f8938b9d6967d877ea6245670ea2f064
category (general)
Computer science
Arvutiteadus
Energy
Energia
category (sub)
Computer science. Computer science applications
Arvutiteadus. Arvutiteaduse rakendused
Computer science. Computer networks and communications
Arvutiteadus. Arvutivõrgud ja side
Computer science. Artificial intelligence
Arvutiteadus. Tehisintellekt
Energy. Renewable energy, sustainability and the environment
Energia. Taastuvenergia, jätkusuutlikkus ja keskkond
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory