Hochschulschrift | Online-Publikation
Distributed system design with message sequence charts
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
München, Techn. Univ., Diss., 2000
- Schlagwort
-
Verteiltes System
Systementwicklung
Message sequence chart
- Urheber
- URN
-
urn:nbn:de:bvb:91-diss2000072116526
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
Distributed system design with message sequence charts
Implementing Message Sequence Charts in Promela
What Do Message Sequence Charts Mean?
On the semantics of message sequence charts
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Compositional semantics for message sequence charts based on Petri Nets
Model-Checking zur Analyse von Message Sequence Charts über Statecharts
Comments on a Proposed Semantics for Basic Message Sequence Charts
MSCar: Enhancing Message Sequence Charts with Interactivity for Analysing (Automotive) Communication Sequences
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
Distributed system design with message sequence charts
Implementing Message Sequence Charts in Promela
What Do Message Sequence Charts Mean?
On the semantics of message sequence charts
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Compositional semantics for message sequence charts based on Petri Nets
Model-Checking zur Analyse von Message Sequence Charts über Statecharts
Comments on a Proposed Semantics for Basic Message Sequence Charts
MSCar: Enhancing Message Sequence Charts with Interactivity for Analysing (Automotive) Communication Sequences
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
Distributed system design with message sequence charts
Implementing Message Sequence Charts in Promela
What Do Message Sequence Charts Mean?
On the semantics of message sequence charts
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Compositional semantics for message sequence charts based on Petri Nets
Model-Checking zur Analyse von Message Sequence Charts über Statecharts
Comments on a Proposed Semantics for Basic Message Sequence Charts
MSCar: Enhancing Message Sequence Charts with Interactivity for Analysing (Automotive) Communication Sequences
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
Syntactic Analysis of Message Sequence Chart Specifications