Design, analysis and verification of complex cyber-physical systems using heterogeneous modeling formalisms.
The mission of this online community of CPS architectures is to share research results on using cyber-physical system architectures to support design, analysis and verification of complex cyber-physical systems using heterogeneous modeling formalisms.
