The 18 full papers and 3 short papers were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections: ​smart and advanced systems; verification and validation; skills and education; industrial experiences and applications; safety, security and privacy.

The 18 full papers and 3 short papers were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections: ​smart and advanced systems; verification and validation; skills and education; industrial experiences and applications; safety, security and privacy.

The 18 full papers and 3 short papers were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections: ​smart and advanced systems; verification and validation; skills and education; industrial experiences and applications; safety, security and privacy.