Login / Signup

Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems.

Oleh MashkovOleh IlyinViktor MashkovOleh BoskinOksana Ohnieva
Published in: ISDMCI (2022)
Keyphrases