Skip to Main content Skip to Navigation

Search by documents



hal-02057882v1  Conference papers
Afia Kouadri-HenniBenoit Malard. Evaluation between residual stresses obtained by neutron diffraction and simulation for dual phase steel welded by laser process
International ESAFORM Conference on Material Forming – ESAFORM 2018, Apr 2018, Palermo, France. pp.060001, ⟨10.1063/1.5034890⟩
hal-00457183v1  Conference papers
Jean-Paul BodeveixM FilaliJulia LawallGilles Muller. Applying the B formal method to the Bossa domain-specific language
The 17th Nordic Workshop on Programming Theory (NWPT'05), 2005, Copenhagen, Denmark, Denmark. pp.35-38
hal-00457182v1  Conference papers
Jean-Paul BodeveixM FilaliJulia LawallGilles Muller. Formal Methods Meet Domain Specific Languages
The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206