Ivan Kozhedub Kharkiv National Air Force University (KNAFU)

Scientific publications
УКР
  1. Science
  2. Publications
  3. Information Processing Systems
  4. 3(19)'2002
  5. Type System in the Software-Intensive System

Type System in the Software-Intensive System

Ju.S. Manzhos
Annotations languages:

In the article is considered limitations of the classical Type System and it influence to the reliability of the Software-Intensive System.
Full text PDF - 221.23 KB
(067) 998 02 70
(057) 704 91 97
Kharkiv (61023)
Sumska street 77/79
red.hnups@gmail.com
red@hups.mil.gov.ua
© Ivan Kozhedub Kharkiv National Air Force University | Харківський національний університет Повітряних Сил