ITU: Recommendation Z. 120: Message Sequence Chart (MSC). ITU, Geneva, 1996. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Safe Realizability of High-Level Message Sequence Charts - Lohrey (2002) (2 citations) (Correct)
Scheduling with Message Deadlines for Hard Real-Time SDL Systems - Kolloch (2002) (1 citation) (Correct)
Smart Play-Out of Behavioral Requirements - Harel, Kugler, Marelly, Pnueli (2002) (5 citations) (Correct)
Specification-based Test Generation for Security-Critical.. - Wimmel, Jürjens (Correct)
A Systematic and Traceable Progression from Scenario Models to.. - Bordeleau (1999) (7 citations) (Correct)
A Systematic and Traceable Progression from Scenario Models to.. - Bordeleau (1999) (7 citations) (Correct)
A (max,+) Approach For Time In Message Sequence Charts - Le Maigat, Helouet (2000) (Correct)
From Requirements Capture to Design: Combining the ARENA and SOMT .. - Auchter (1997) (Correct)
Mobility Management in the Wireless ATM Network.. - Hadjiefthymiades.. (1998) (Correct)
An effective equivalence for sets of scenarios represented .. - Hélouët, Jard, Caillaud (1998) (1 citation) (Correct)
Real-Time Systems Development With SDL and Next Generation.. - Sinnott (2001) (Correct)
Inter-Operability of Workflow Applications: Local.. - Kindler, Martens, Reisig (2000) (8 citations) (Correct)
Test generation based on control and data dependencies within .. - Henniger, Ural (Correct)
A Message Sequence Chart-Profile for Graphical.. - Baker, Grabowski, .. (2001) (Correct)
An Execution Semantics for MSC-2000 - Jonsson, Padilla (2001) (3 citations) (Correct)
An Execution Semantics for MSC-2000 - Jonsson, Padilla (2001) (3 citations) (Correct)
From High Level Message Sequence Charts to BDL Specifications - Canon, Hélouët (1998) (1 citation) (Correct)
Beyond Message Sequence Graphs - Madhusudan, Meenakshi (2001) (5 citations) (Correct)
Requirements Processes: An Experience Report - Julio Cesar Sampaio (Correct)
Failure-free Coordinator Synthesis for Correct Components.. - Inverardi, Tivoli (2003) (Correct)
Derivation of Petri Net Performance Models - From Uml Specifications (Correct)
Model-based Automated Analysis for Dependable Interactive Systems - Loer (2003) (1 citation) (Correct)
Modelling and Verification of Layered Security.. - Grünbauer.. (Correct)
Modelling and Verification of Layered Security.. - Grünbauer.. (Correct)
Requirements Processes: An Experience Report - Julio Cesar Sampaio (2001) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC