Salaun, Gwen.

概要

作品:	0 作品在 5 項出版品 1 種語言

書目資訊

Software technologiesapplications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers / by: (1998 :); Mazzara, Manuel.; Ober, Iulian.; Salaun, Gwen.; SpringerLink (Online service) (書目-電子資源)

Software engineering and formal methods12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings / by: (1998 :); Giannakopoulou, Dimitra.; Salaun, Gwen.; SpringerLink (Online service) (書目-電子資源)

Formal methods for industrial critical systems16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / by: (1998 :); Salaun, Gwen.; Schatz, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Formal aspects of component software17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings / by: (1998 :); Salaun, Gwen.; SpringerLink (Online service); Wijs, Anton. (書目-電子資源)

Software engineering and formal methods17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / by: (1998 :); Olveczky, Peter Csaba.; Salaun, Gwen.; SpringerLink (Online service) (書目-電子資源)

主題