• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Formal Verification of OS Security Model with Alloy and Event-B

P. 309-313.
Khoroshilov A. V., Petrenko A. K., Девянин П. Н., Kuliamin V., Щепетков И. В.

В книге

Под науч. редакцией: Y. A. Ameur, K. Schewe. Heidelberg: Springer, 2014.