Mandatory Control in Automated

Mandatory Control in Automated Information Systems
G. P. Akimova, A. Yu. Danilenko, E. V. Pashkina, M. A. Pashkin,
A. A. Podrabinovich, I. V. Tumanova