„Message sequence chart“

Suchergebnisse

45 Treffer

• Distributed system design with message sequence charts
  Krüger, Ingolf
• Die Spezifikationssprachen MSC und SDL. Teil 1: Message Sequence Chart (MSC) (The Specification Languages MSC and SDL. Part 1: Message Sequence Chart (MSC))
  Grabowski, J. ; Rudolph, E. ; Schmitt, M.
• Eine Integration formaler und objektorientierter Methoden bei der Entwicklung von Kommunikationsprotokollen
  Kräß, Manfred Johann
• LSCs: Breathing Life into Message Sequence Charts
  Damm, Werner ; Harel, David
• Semantics of Timed Message Sequence Charts
  Letichevskii, A. A. ; Kapitonova, Yu. V. ; Kotlyarov, V. P. ; Volkov, V. A.
• An Algorithm for Checking the Time Consistency of Message Sequence Charts
  Godlevskii, A. B. ; Lopatina, M. V. ; Svirgunenko, S. N.
• An Input Language Based on Extended Message Sequence Charts and Used for Test Specification
  Kotlyarov, V. P. ; Sukhomlinov, V. A.
• Scenarios: models, transformations and tools – international workshop Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers
  Leue, Stefan 2005 Heidelberg ; New York : Springer
• Telecommunications and beyond: the broader applicability of SDL and MSC – third international workshop ; revised papers
  Sherratt, Edel 2003 Springer
• Analyse von Schnittstellenkompatibilität von Steuergeräten auf Basis von MSC-Beschreibungen
  Ma, Zheng ; Glockner, Matthias ; Hardt, Wolfram 2008 Universitätsbibliothek Chemnitz
• Erzeugung von Statecharts aus Sequence Charts
  Miesling, Daniel 2008 Diplom.de
• Syntactic Analysis of Message Sequence Chart Specifications
  Ben-Abdallah, Hanêne ; Leue, Stefan 2008 Bibliothek der Universität Konstanz
• Formal Models of Communicating Systems – Languages, Automata, and Monadic Second-Order Logic
  Bollig, Benedikt 2006 Springer Berlin Heidelberg
• Formal models of communicating systems – languages, automata, and monadic second-order logic ; with 6 tables
  Bollig, Benedikt 2006 Springer
• Automata and logics for message sequence charts
  Bollig, Benedikt 2005 Mainz
• Model-checking zur Analyse von message sequence charts über stacharts
  Canver, Ercüment 1999 Univ., Fak. für Informatik
• Model-Checking zur Analyse von Message Sequence Charts über Statecharts
  Canver, Ercüment 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Compositional message sequence charts
  Gunter, Elsa L. ; Muscholl, Anca ; Peled, Doron
• MSCar: Enhancing Message Sequence Charts with Interactivity for Analysing (Automotive) Communication Sequences
  Sedlmair, Michael 2009 Technische Universität Berlin
• Performance message sequence chart - Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC
  Kerber, Kai Lennard