Accueil > Séminaires > Séminaires

Séminaire VASY

Par Sylvain Rampacek le mardi 10 juin 2008 à 17h16

Exposé lors du séminaire de l’équipe VASY de l’INRIA à Monthieux, du 10 au 13 Juin 2008 : « Formal Modeling and Discrete-Time Analysis of BPEL Web Services » (travail réalisé avec Radu Mateescu).

Exposé RGE

Par Sylvain Rampacek le jeudi 19 octobre 2006 à 17h14

Exposé lors de la réunion RGE du 19 Octobre 2006 à Besançon : « Modélisation et vérification d’un ou plusieurs services web ».

Exposé Journée Services Web au LAMSADE

Par Sylvain Rampacek le mardi 24 janvier 2006 à 17h11

Exposé lors d’une journée "Services Web" au LAMSADE le 24 Janvier 2006.

Exposé MeFoSyLoMa

Par Sylvain Rampacek le vendredi 3 juin 2005 à 12h55

Exposé lors de la réunion du séminaire MeFoSyLoMa le 3 Juin 2005 : « A formal semantics for Web Services interaction ».

Exposé RGE

Par Sylvain Rampacek le jeudi 10 mars 2005 à 12h52

Exposé lors de la réunion RGE du 10 Mars 2005 à Reims : « Modélisation des Services Web - sémantique de service et client adapté ».

0 | 5


Design downloaded from free website templates.