Model-driven Security for Cyber-Physical Systems
Model-driven development has become a leading paradigm for developing CPS because it enables the developer to verify safety requirements in early development phases and refine the models into an implementation preserving the verified requirements.
Recent Comments