Вы здесь

Главная

подсистема

Связанные издания:

Abstraction of Business Rules in Object-Oriented Design
A Formal Model for the Block Device Subsystem of the Linux Kernel
Architecture and Evaluation of a High-Speed Networking Subsystem for Distributed-Memory Systems
Checking Subsystem Safety Properties in Compositional Reachability Analysis
ChorusToolbox: MacOS Running on Top of Chorus
Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic
Handling Synchronization Problem in Petri Net-Based System Design by Property-Reserving Transition-Reduction
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs
Supercomputing Frontiers: Proc./5th Asian Conference, SCFA 2019, Singapore, March 2019
Генерация тестовых программ для подсистемы управления памятью микропроцессора
Исследование и разработка базовых подсистем САПР радиоэлектронной аппаратуры
Исследование и разработка подсистемы автоматизированного контроля БИС
Метод формального описания протоколов функционирования бортовых подсистем обмена информацией объектов
Объектно-ориентированный интерфейс файловой подсистемы DOS
Реализация языковой подсистемы в структурном редакторе