Methods of analysis and synthesis of systems for ensuring data validity in automated information and control systems using modified Petri nets

Moscow

251 pp.