Navigation de collection par Sujet BPEL, Logique de réécriture, Maude, K Framework
Montrant les résultats 1 à 1 de 1
Date de publication | Titre | Auteur(s) |
---|---|---|
2014 | Sémantique Formelle du BPEL avec K Framework. | ANNANE, Khaled |
Date de publication | Titre | Auteur(s) |
---|---|---|
2014 | Sémantique Formelle du BPEL avec K Framework. | ANNANE, Khaled |