An integrated framework for scenarios and state machines
| Title | An integrated framework for scenarios and state machines |
| Publication Type | Conference Papers |
| Year of Publication | 2005 |
| Authors | Sengupta B, Cleaveland R |
| Conference Name | Integrated Formal Methods |
| Date Published | 2005/// |