X-ray system component

Benchmark models

    print · login   

Bibliography

SHV16
Mathijs Schuts, Jozef Hooman and Frits Vaandrager. Refactoring of Legacy Software using Model Learning and Equivalence Checking: an Industrial Experience Report. In E. Abraham and M. Huisman, editors. Proceedings 12th International Conference on integrated Formal Methods (iFM), Reykjavik, Iceland, June 1-3, 2016. LNCS 9681, pp. 311-325, Springer, 2016.