Search Results - "декомпозиция программной системы"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image
    Academic Journal

    Static verification of operating system monolithic kernels

    E. M. Novikov

    Труды Института системного программирования РАН, Vol 29, Iss 2, Pp 97-116 (2018)

    Get it
  2. 2
    Cover Image
    Academic Journal

    Incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels

    I. S. Zakharov, E. M. Novikov

    Труды Института системного программирования РАН, Vol 29, Iss 6, Pp 25-48 (2018)

    Get it

Search Tools: