Conferences in DBLP
SAM (sam) Anca Muscholl , Doron Peled Analyzing Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] François Terrier , Sébastien Gérard Real Time System Modeling with UML: current status and some prospects. [Citation Graph (0, 0)][DBLP ] Conf ] André Engels Design Decisions on Data and Guards in MSC2000. [Citation Graph (0, 0)][DBLP ] Conf ] Loïc Hélouët , Pierre Le Maigat Decomposition of Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] F. A. Meijs Connecting Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Ekkart Rudolph , Ina Schieferdecker , Jens Grabowski HyperMSC - a Graphical Representation of TTCN. [Citation Graph (0, 0)][DBLP ] Conf ] José M. Álvarez , Manuel Díaz , Luis Llopis , Ernesto Pimentel , José M. Troya SDL and hard real time systems: new design and analyze techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Marius Bozga , Susanne Graf , Alain Kerbrat , Laurent Mounier , Iulian Ober , Daniel Vincent SDL for Real-Time: What is Missing? [Citation Graph (0, 0)][DBLP ] Conf ] Francis Bordeleau , Donald Cameron On the Relationship between use-case maps and Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] J. P. Albaladejo , Javier Poncela , J. T. Entrambasaguas Adaptation Of SOMT To The Development Of Systems Based Upon a Standard. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolai Mansurov , Dmitri Vasura Approximation of (H)MSC Semantics By Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Loe M. G. Feijs , Nicolae Goga , Sjouke Mauw Probabilities In The Torx Test Derivation Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf Henniger , Hasan Ural Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Meinke Validation and Test Case Generations for MSCs Using A Propositional SAT Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Prinz , Robert Eschbach , Reinhard Gotzhein A Executable Formal Semantics for SDL-2000. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Heymer A Semantics for MSC Based on Petri Net Components. [Citation Graph (0, 0)][DBLP ] Conf ] Ketil Stølen , P. Mohn Experience from Using MSC, UML and SDL in the Development of the FAME Communication Manager. [Citation Graph (0, 0)][DBLP ] Conf ] S. Bläsius , S. Karg , J. Maier , G. Kohler Development of SDL Based Software for an Embedded System - Practical Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Ferhat Khendek , Daniel Vincent Enriching SDL Specifications with MSCs. [Citation Graph (0, 0)][DBLP ] Conf ] F. Boutet , E. Choveau , G. Rieux , Y. Lejeune Scheduling in SDL Simulation. Application to Future Air Navigation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] B. Rao SDL Based Auto Code Generation: A Multi Beneficial Approach. [Citation Graph (0, 0)][DBLP ] Conf ] 