compact view print

Model-based testing of real-time distributed systems

author
Vain, Jüri
Halling, Evelin
Kanter, Gert
Anier, Aivo
Pal, Deepak
statement of authorship
Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, and Deepak Pal
source
Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings
location of publication
[S.l.]
publisher
Springer
year of publication
2016
pages
p. 272-286 : ill
series
Communications in computer and information science ; 615
conference name, date
12th International Baltic Conference on Databases and Information Systems, DB and IS 2016, 4-6 July 2016
conference location
Riga, Latvia
url
https://doi.org/10.1007/978-3-319-40180-5_19
subject term
hajussüsteemid
reaalajasüsteemid
testimine
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Article at WOS
quartile
Q3
category (general)
Computer science
category (sub)
Computer science. General computer science
keyword
model-based testing
distributed systems
low-latency systems
ISSN
1865-0929
ISBN
978-3-319-40179-9
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
arvutiteaduse instituut
language
inglise
Vain, J., Halling, E., Kanter, G., Anier, A., Pal, D. Model-based testing of real-time distributed systems // Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings. [S.l.] : Springer, 2016. p. 272-286 : ill. (Communications in computer and information science ; 615). https://doi.org/10.1007/978-3-319-40180-5_19