Russian
English
Home
Authors
Papers
Year of conference
Themes
Organizations
To MES conference
Kamkin A.S.
Institute for System Programming of the Russian Academy of Sciencies
Listing of all the works of the author. Click on the work title to get the full information.
2014
Kamkin A.S., Smolov S.A.
The method of EFSM extraction from HDL: application to functional verification
2016
Kamkin A.S., Kotsynyak A.M.
Specification-Based Test Program Generation for MIPS64 Memory Management Units
Kamkin A.S., Burenkov V.S.
A Method for Scalable Verification of PROMELA Models of Cache Coherence Protocols
2018
Kamkin A.S., Protsenko A.S., Smolov S.A., Tatarnikov A.D.
MicroTESK-Based Test Program Generator for the RISC-V Architecture
Copyright © 2009-2024 IPPM RAS. All Rights Reserved.
Design of site: IPPM RAS