Modelling and Testing Cyber-Physical Systems: Robustness, Product Line and Self * Properties

Modelling and Testing Cyber-Physical Systems: Robustness, Product Line and Self * Properties

Authors
S. Ali and T. Yue