Thivolle-11.pdf - VASY - Inria
... exercice de compilation. Kermeta est `a la transformation de mod`eles ce que ... Sylvain Rampacek. Formal Modeling and Discrete-Time Analysis of BPEL. Web ...
... exercice de compilation. Kermeta est `a la transformation de mod`eles ce que ... Sylvain Rampacek. Formal Modeling and Discrete-Time Analysis of BPEL. Web ...