Search Results - "интегрированная модульная авионика"

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

    Tools for System Design of Integrated Modular Avionics

    D. V. Buzdalov, S. V. Zelenov, E. V. Kornykhin, A. K. Petrenko, A. V. Strakh, A. A. Ugnenko, A. V. Khoroshilov

    Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 201-230 (2018)

    Get it
  2. 2
    Cover Image
    Academic Journal

    Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach

    S. L. Lesovoy

    Труды Института системного программирования РАН, Vol 30, Iss 3, Pp 31-46 (2018)

    Get it
  3. 3
    Cover Image
    Academic Journal

    Design and architecture of real-time operating system

    K. M. Mallachiev, N. V. Pakulin, A. V. Khoroshilov

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

    Get it
  4. 4
    Cover Image
    Academic Journal

    Certifiable onboard real-time operation system JetOS for Russian aircrafts design

    Yu. A. Solodelov, N. K. Gorelits

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

    Get it
  5. 5
    Cover Image
    Academic Journal

    Automation of scheduling for periodic real-time systems

    A. V. Tretyakov

    Труды Института системного программирования РАН, Vol 22, Iss 0 (2018)

    Get it

Search Tools: