Model based approach for testing: distributed real-time systems augmented with online monitors

statement of authorship
Deepak Pal, Jüri Vain
location of publication
Cham
publisher
year of publication
pages
p. 142-157
conference name, date
13th International Baltic Conference on Databases and Information Systems : DB&IS 2018, July 1-4, 2018
conference location
Trakai, Lithuania
ISBN
978-3-319-97570-2
notes
Bibliogr.: 26 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
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