Model based approach for testing: distributed real-time systems augmented with online monitors
author
Pal, Deepak
Vain, Jüri
statement of authorship
Deepak Pal, Jüri Vain
source
Databases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings
location of publication
Cham
publisher
Springer
year of publication
2018
pages
p. 142-157
series
Communications in computer and information science ; 838
conference name, date
13th International Baltic Conference on Databases and Information Systems : DB&IS 2018, July 1-4, 2018
conference location
Trakai, Lithuania
url
https://doi.org/10.1007/978-3-319-97571-9_13
subject term
testimine
reaalajasüsteemid
hajussüsteemid
Scopus
https://www.scopus.com/sourceid/17700155007
https://www.scopus.com/record/display.uri?eid=2-s2.0-85052887148&origin=inward&txGid=aa3dc2bf8f0a8dbd8079ba598c58922c
quartile
Q3
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
Mathematics. General mathematics
Matemaatika. Üldmatemaatika
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
subject of form
konverentsikogumikud
keyword
model-based testing
real-time database systems
distributed systems
low-latency systems
ISBN
978-3-319-97570-2
notes
Bibliogr.: 26 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory