Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

An approach to test program generation based on formal...

An approach to test program generation based on formal specifications of caching and address translation mechanisms

KAMKIN A.,PROTSENKO A.,TATARNIKOV A.
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
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
La conversion en est effectuée
La conversion en a échoué