2 Systematic Review of Software Behavioural Model ... - E-Theses
LTL [Pnu77] is selected in this dissertation for specifying the temporal ... that our SLR also covered relevant follow-up works that might exist but have not been ... As mentioned in Section 3.2.1, the test and setup sections of a UML 2 Loop Node ... A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Ser-?. Télécharger 2 Systematic Review of Software Behavioural Model ... - E-Theses pdf
