An approach to test program generation based on formal specifications of caching and address translation mechanisms
KAMKIN A.,PROTSENKO A.,TATARNIKOV A.Volume:
27
Année:
2015
Langue:
english
Journal:
Труды Института системного программирования РАН
DOI:
10.0000/cyberleninka.ru/article/n/an-approach-to-test-program-generation-based-on-formal-specifications-of-caching-and-address-translation-mechanisms
Fichier:
PDF, 264 KB
english, 2015