Article citationsMore>>
E. Cunha, M. Custodio, H. Rocha and R. Barreto, “Formal Verification of UML Sequence Diagrams in the Embedded Systems Context,” Brazilian Symposium on Computing System Engineering (SBESC), 2011, pp. 39-45.
has been cited by the following article:
Related Articles:
-
Xianhong Liu
-
Debasis Chanda, Dwijesh Dutta Majumder, Swapan Bhattacharya
-
Alexey Tazin, Mieczyslaw M. Kokar
-
Tim Warnecke
-
Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng