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


Formal Specification and Verification of SOS Kernel.

Авторы

I.Burdonov, A.Kossatchev, S.Cheng, H.Wong.

Издание

BNR/NORTEL Design Forum, June 1996.

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

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

Все публикации за 1978-1997 год Все публикации