An Automata Based Interpretation of Live Sequence Charts
暂无分享,去创建一个
[1] David Harel,et al. Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .
[2] Ingolf Krüger,et al. Towards the Methodical Usage of Message Sequence Charts , 1999, Formale Beschreibungstechniken.
[3] Hardi Hungar,et al. Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking , 1999 .
[4] David Harel,et al. LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..
[5] Rajeev Alur,et al. Timed Automata , 1999, CAV.
[6] Rajeev Alur,et al. The Theory of Timed Automata , 1991, REX Workshop.
[7] Rajeev Alur,et al. An Analyser for Mesage Sequence Charts , 1996, TACAS.
[8] Sjouke Mauw,et al. Message Sequence Chart (MSC) , 1996 .
[9] Werner Damm,et al. Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment , 2001, Formal Methods Syst. Des..
[10] Bernhard Josko,et al. A Visual Fomalism for Real-Time Requirement Specifications , 1997, ARTS.
[11] Sjouke Mauw,et al. Formal semantics of Message Sequence Charts , 1998 .