10 citations · 74 across the 31 of their papers we have counts for
1 paper · 1 filter
Luan Viet Nguyen, Gautam Mohan, James Weimer +3
Model-based design offers a promising approach for assisting developers to build reliable and secure cyber-physical systems (CPSs) in a systematic manner. In this methodology, a de…