Model based approach for testing: distributed real-time systems augmented with online monitors
Pal, Deepak
;
Vain, Jüri
Databases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings
2018
/
p. 142-157
https://doi.org/10.1007/978-3-319-97571-9_13
https://www.scopus.com/sourceid/17700155007
https://www.scopus.com/record/display.uri?eid=2-s2.0-85052887148&origin=inward&txGid=aa3dc2bf8f0a8dbd8079ba598c58922c