On using program specifications in hardware testing

Nikita P. Shatilov, Danil S. Kozhevnikov, Natalya G. Kushik, Stanislav N. Torgaev

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'On using program specifications in hardware testing'. Together they form a unique fingerprint.

Physics & Astronomy

Engineering & Materials Science