Automation of Building the Safety Models of Complex Technical Systems for Critical Application.

Bohdan Y. Volochiy, Bohdan A. Mandziy, Leonid D. Ozirkovskyy

Browse the full ICTERI paper archive.