MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Analyzing Message Sequence Charts." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • An Analyzer for Message  
  • by Sequence Charts Rajeev, Rajeev Alur, Gerard J. Holzmann, Doron Peled — 1996 — Software Concepts and Tools
  • … An Analyzer for Message Sequence Charts Rajeev Alur Gerard J. Holzmann Doron Peled…
  • Add To MetaCart
  • On the Need for Practical Formal Methods  
  • by Constance Heitmeyer — 1998 — In Formal Techniques in RealTime and Real-Time Fault-Tolerant Systems, Proc., 5th Intern. Symposium (FTRTFT'98
  • …-friendly notations should also be explored. For example, one group is developing a set of tools which analyze message…
  • Cited by 15 (1 self) – Add To MetaCart
  • vid L. Dill. Sequential Cirsuit Veri�cation Using Symbolic Model  
  • by Ahp R. Alur, G. Holzmann, D. Peled, An Analyzer, Message Sequence, Bcl Jerry R. Burch, Edmund M. Clarke, David E. Long Representing, Bcmd Jerry R. Burch, Edmund M. Clarke, Kenneth L. Mcmillan
  • …:��www.telelogic.se�company�pressrel�sdtpre.htm, 1997. �AHP96� R. Alur, G. Holzmann, and D. Peled. An Analyzer for Message Sequence Charts. T. Margaria…
  • Add To MetaCart
  • Timing analysis of UML sequence diagrams  
  • by Xuandong Li, Johan Lilius, Turku Centre, Computer Science — 1999 — UML’99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins
  • … are much more complicated to check. In [1], some algorithms for analyzing message sequence charts…
  • Cited by 9 (0 self) – Add To MetaCart
  • MSC: A Bibliography  
  • by Andre Engels, Wsr A. Wolisz, I. Schieferdecker, A. Rennoch, Domain In J. Bezivin, B. Meyer — 2001
  • …. Analyzing message sequence charts. In Graf et al. [GJL00], pages 3-17. [MPS98] A. Muscholl, D. Peled, and Z…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB