print

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
Conference proceedings at Scopus
Article at Scopus
kvartiil
Q3
category (general)
Mathematics
Computer science
category (sub)
Mathematics. General mathematics
Computer science. General computer science
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
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory
Pal, D., Vain, J. Model based approach for testing: distributed real-time systems augmented with online monitors // Databases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings. Cham : Springer, 2018. p. 142-157. (Communications in computer and information science ; 838). https://doi.org/10.1007/978-3-319-97571-9_13