Ivan Kozhedub Kharkiv National Air Force University (KNAFU)

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

Reference:
Manzhos, Yu.S. (2002), "Typizatsiia danykh u systemakh krytychnoho pryznachennia" , Information Processing Systems, Vol. 3(19), pp. 54-57.