Assuring Virtual PLC in the Context of SysML Models.

Mounifah Alenazi, Deepak Reddy, Nan Niu

Browse the full ICSR paper archive.