An integrated framework for scenarios and state machines

TitleAn integrated framework for scenarios and state machines
Publication TypeConference Papers
Year of Publication2005
AuthorsSengupta B, Cleaveland R
Conference NameIntegrated Formal Methods
Date Published2005///