CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems

Silvia Mazzini, John M. Favaro, Stefano Puri, Laura Baracchi. CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems. In Francis Bordeleau, Jean-Michel Bruel, Jürgen Dingel, Sébastien Gérard, Henry Muccini, Gunter Mussbacher, Sebastian Voss, editors, Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 3, 2016. Volume 1835 of CEUR Workshop Proceedings, pages 59-66, CEUR-WS.org, 2016. [doi]

Authors

Silvia Mazzini

This author has not been identified. Look up 'Silvia Mazzini' in Google

John M. Favaro

This author has not been identified. Look up 'John M. Favaro' in Google

Stefano Puri

This author has not been identified. Look up 'Stefano Puri' in Google

Laura Baracchi

This author has not been identified. Look up 'Laura Baracchi' in Google