Accueil > Recherche > Publications > [Rampacek08] Formal Modeling and Discrete-Time Analysis of BPEL Web Services

[Rampacek08] Formal Modeling and Discrete-Time Analysis of BPEL Web Services

Par Sylvain Rampacek le juin 2008 à 10h07

[Rampacek08] Rampacek Sylvain. Formal Modeling and Discrete-Time Analysis of BPEL Web Services. Séminaire INRIA-VASY, Monthieux, France, June 2008.