Publicaciones

Affichage de 3761 à 3770 sur 5525


  • COUV

BRILLANT/BCaml—AFreeTools Platform for the B Method

Dorian Petit, Samuel Colin

Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method, John Wiley & Sons, Inc., 2014, 9781848217096. ⟨hal-03379039⟩

  • COMM

Les évidences incertaines dans les Réseaux Bayésiens

Ali Ben Mrad, Véronique Delcroix, Sylvain Piechowiak, Mohamed-Amine Maalej, Mohamed Abid

7èmes Journée Francophone des Réseaux Bayésiens, JFRB’2014, Jun 2014, Paris, France. ⟨hal-03519446⟩

  • COMM

Anisole fluorescence spectroscopy for gas thermometry measurement

Dimitri Bonnet, Philippe Guibert, Khanh-Hung Tran, Jérôme Bonnety, Philippe Hervé, Jérôme Luc, Jean-Marc Bouvet, Céline Morin

16th International Symposium on Flow Visualization, Jun 2014, Okinawa, Japan. ⟨hal-03474966⟩