„sequence chart“
Suchergebnisse
1.000+ Treffer
-
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts
-
Computation sequence Chart – ein Konzept zur anforderungsbezogenen Testfallgenerierung
-
Performance message sequence chart – Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC
-
MINA - a tool for MSC-based performance analysis and simulation of distributed systems
-
Automatic test generation based on formal specifications – practical procedures for efficient state space exploration and improved representation of test cases
-
Distributed system design with message sequence charts
-
Telecommunications and beyond: The BroaderApplicability of SDL and MSC – Third International Workshop, SAM 2002 Aberystwyth, UK, June 24–26, 2002 Revised Papers
-
System Analysis and Modeling – 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
-
-
Scenarios: models, transformations and tools – international workshop Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers
-
Kompatibilitätsanalyse dynamischen Verhaltens von integrierten Automobil-Steuergeräten
-
Implementing Message Sequence Charts in Promela
-
What Do Message Sequence Charts Mean?
-
Timing Constraints in Message Sequence Chart Specifications
-
Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
-
Runtime Verification of Railway Applications with Extended Live Sequence Charts
-
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen
-
A Unifying Framework for Deciding Synchronizability
-
Ich lebe
-
Ich liebe