Causal Message Sequence Charts
10.1016/j.tcs.2009.06.013
Saved in:
Main Authors: | Gazagnaire, T., Genest, B., Hélouët, L., Thiagarajan, P.S., Yang, S. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Article |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/39777 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Causal message sequence charts
by: Gazagnaire, T., et al.
Published: (2013) -
Symbolic message sequence charts
by: Roychoudhury, A., et al.
Published: (2013) -
Symbolic message sequence charts
by: Roychoudhury, A., et al.
Published: (2013) -
An executable specification language based on message sequence charts
by: Roychoudhnry, A., et al.
Published: (2013) -
A framework for formalization and strictness analysis of simulation event orderings
by: Teo, Y.M., et al.
Published: (2013)