- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Formale Methoden für verteilte Systeme / König, Hartmut (Hrsg.). - München [u.a.] : Saur, 1993. - (Fokus ; 8). - S. 88-104. - ISBN 3-598-22409-5
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2012
- Urheber
-
Ladkin, Peter B.
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-207541
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:46 MESZ
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.
Beteiligte
- Ladkin, Peter B.
- Leue, Stefan
- Bibliothek der Universität Konstanz
Entstanden
- 2012
Ähnliche Objekte (12)
Comments on a Proposed Semantics for Basic Message Sequence Charts
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
Four Issues Concerning the Semantics of Message Flow Graphs
Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Methods and semantics for telecommunications systems engineering
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
Interpreting Message Flow Graphs
Comments on a Proposed Semantics for Basic Message Sequence Charts
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
Four Issues Concerning the Semantics of Message Flow Graphs
Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Methods and semantics for telecommunications systems engineering
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
Interpreting Message Flow Graphs
Comments on a Proposed Semantics for Basic Message Sequence Charts
What Do Message Sequence Charts Mean?
Implementing Message Sequence Charts in Promela
Architecture of a Requirements and Design Tool Based on Message Sequence Charts
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
Four Issues Concerning the Semantics of Message Flow Graphs
Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Methods and semantics for telecommunications systems engineering
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications