Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems

Danjiang Zhu, Huobin Tan, Shuzhen Yao. Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems. Computers & Electrical Engineering, 71:162-172, 2018. [doi]

Abstract

Abstract is missing.