Verification of an Industrial Computer Network of High Risk Operation Plants - A NPP APCS Example.

Vitaly Promyslov, Stanislav I. Masolkin

Browse the full ICINCO paper archive.