Executable requirements specifications using triggered message sequence charts
| Title | Executable requirements specifications using triggered message sequence charts |
| Publication Type | Journal Articles |
| Year of Publication | 2005 |
| Authors | Sengupta B, Cleaveland R |
| Journal | Distributed Computing and Internet Technology |
| Pagination | 482 - 493 |
| Date Published | 2005/// |