System modeling for processor-centric test automation = Süsteemide modelleerimine protsessorikesksete testprogrammide sünteesi automatiseerimiseks
Tšertov, Anton
2012
https://www.ester.ee/record=b2751131*est