Formal Methods Usage With Respect to Critical Systems Checking

Abstract

Інститут проблем моделювання в енергетиці імені Г.Є. Пухова Національної академії наук України Євдокимов В.Ф. Інститут проблем моделювання в енергетиці імені Г.Є. Пухова Національної академії наук України Душеба В.В. Інститут проблем моделювання в енергетиці імені Г.Є. Пухова Національної академії наук України