Ivannikov Institute for System Programming of the RAS


Formal Specification and Verification of SOS Kernel.

Authors

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

Edition

BNR/NORTEL Design Forum, June 1996.

Research Group

Software Engineering

All publications during 1978-1997 All publications