Preview

Труды Института системного программирования РАН

Расширенный поиск
Полноэкранный режим

Для цитирования:


Камкин А.С., Проценко А.С., Татарников А.Д. Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов. Труды Института системного программирования РАН. 2015;27(3):125-138. https://doi.org/10.15514/ISPRAS-2015-27(3)-9

For citation:


Kamkin A..., Protsenko A..., Tatarnikov A... An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):125-138. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-9

Просмотров: 20


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)