A systematic approach on modeling refinement and regression testing of real-time distributed systems
Pal, Deepak
;
Vain, Jüri
IFAC-PapersOnLine
2019
/
p. 1091-1096
https://doi.org/10.1016/j.ifacol.2019.11.341
https://www.scopus.com/sourceid/21100456158
https://www.scopus.com/record/display.uri?eid=2-s2.0-85078950149&origin=inward&txGid=7c1a90e272f89fe6bd25522692543fdf
https://www.webofscience.com/wos/woscc/full-record/WOS:000504282400186