![](/img/cover-not-exists.png)
DTRON: a tool for distributed model-based testing of time critical applications
Anier, A, Vain, J, Tsiopoulos, LVolume:
66
Year:
2017
Journal:
Proceedings of the Estonian Academy of Sciences
DOI:
10.3176/proc.2017.1.08
File:
PDF, 1023 KB
2017