Mery, Dominique.

概要

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

書目資訊

Implicit and explicit semantics integration in proof-based developments of discrete systems = communications of NII Shonan Meetings / by: Mery, Dominique.; SpringerLink (Online service); Nakajima, Shin.; Ait-Ameur, Yamine. (書目-電子資源)

Rigorous state-based methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings / by: Mery, Dominique.; SpringerLink (Online service); ABZ (Conference) (2021 :); Raschke, Alexander. (書目-電子資源)

Rigorous state-based methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings / by: Mery, Dominique.; SpringerLink (Online service); Houdek, Frank.; Raschke, Alexander.; ABZ (Conference) (2020 :) (書目-電子資源)

FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / by: Mery, Dominique.; SpringerLink (Online service); Giannakopoulou, Dimitra. (書目-電子資源)

Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / by: Mery, Dominique.; Merz, Stephan.; SpringerLink (Online service) (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2014 = 11th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings / by: Mery, Dominique.; SpringerLink (Online service); Ciobanu, Gabriel. (書目-電子資源)

主題