Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram.
| Autor: | Zafar, Nazir1 nazafar@ciitsahiwal.edu.pk |
|---|---|
| Zdroj: | Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ). Aug2016, Vol. 41 Issue 8, p2975-2986. 12p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|