,

A development method for trusted real-time kernels.

.
University of York, UK, (1998)British Library, EThOS.

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии