Maître de Conférences
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).
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 ».
Par Sylvain Rampacek le mardi 24 janvier 2006 à 17h11
Exposé lors d’une journée "Services Web" au LAMSADE le 24 Janvier 2006.
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 ».
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é ».
(c) 2009-2023 Sylvain Rampacek
•
Se connecter
•
Plan du site
•
Contact
•
