Assuring Virtual PLC in the Context of SysML Models.

Mounifah Alenazi Deepak Reddy Nan Niu

Published in: ICSR (2018)

Keyphrases

statistical models
accurate models
statistical model
context sensitive
prior knowledge
virtual environment
real time
complex systems
augmented reality
virtual reality
formal methods
computational models
probabilistic model
control system
mobile devices
learning algorithm
data mining