Например, Бобцов

Моделирование и верификация операционных сред информационно-управляющих систем

Аннотация:

Одной из острейших проблем современной вычислительной техники является повышение качества программного обеспечения. Эта проблема чрезвычайно актуальна, поскольку такие области применения вычислительной техники, как медицина, производство, транспорт, авиация и ядерная энергетика, предъявляют высокие требования к качеству применяемых информационно-управляющих систем.

Ключевые слова:

Статьи в номере