Институт системного программирования им. В.П. Иванникова РАН


Verification Methodology Based on Algorithmic State Machines and Cycle-Accurate Contract Specifications.

Авторы

S. Frenkel, A.Kamkin.

Издание

East-West Design & Test Symposium, September 18-21, 2009, pp. 39-42.

Научная группа

Технологии программирования

Все публикации за 2009 год Все публикации