Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool.

Muhammad Atif JavedBarbara Gallina
Published in: SPLC (2) (2018)