Conferences in DBLP
Jean-Louis Camus , Thierry Le Sergent Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolai Mansurov , Djenana Campara Using Message Sequence Charts to Accelerate Maintenance of Existing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Øystein Haugen From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Rodolphe Arthaud SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Rößler , Birgit Geppert , Reinhard Gotzhein Collaboration-Based Design of SDL Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jacqueline Floch , Richard Torbjørn Sanders , Ulrik Johansen , Rolv Bræk Using UML for Implementation Design of SDL Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Niclas Bauer Deployment of SDL Systems Using UML. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Wiles ETSI Testing Activities and the Use of TTCN-3. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Grabowski , Peter Graubmann , Ekkart Rudolph HyperMSCs with Connectors for Advanced Visual System Modelling and Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Baker , Ekkart Rudolph , Ina Schieferdecker Graphical Test Specification - The Graphical Format of TTCN-3. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hogrefe , Beat Koch , Helmut Neukirchen Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Iulian Ober , Alain Kerbrat Verification of Quantitative Temporal Properties of SDL Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Münzenberger , Frank Slomka , Matthias Dörfel , Richard Hofmann A General Approach for the Specification of Real-Time Systems with SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Marius Bozga , Susanne Graf , Laurent Mounier , Iulian Ober , Jean-Luc Roux , Daniel Vincent Timed Extensions for SDL. [Citation Graph (0, 0)][DBLP ] Conf ] J. Larmouth ASN.1 Is Reaching Out! [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Dubois , Marc Born , Harald Böhme , Joachim Fischer , Eckhardt Holz , Olaf Kath , Bertram Neubauer , Frank Stoinski Distributed Systems: From Models to Components. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Miga , Daniel Amyot , Francis Bordeleau , Donald Cameron , C. Murray Woodside Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Juha Sipilä , Vesa Luukkala An SDL Implementation Framework for Third Generation Mobile Communications System. [Citation Graph (0, 0)][DBLP ] Conf ] Ostap Monkewich , Igor Sales , Robert L. Probert OSPF Efficient LSA Refreshment Function in SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Vassilios Courzakis , Martin von Löwis , Ralf Schröder Using SDL in a Stateless Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Jos C. M. Baeten , Harm M. A. van Beek , Sjouke Mauw An MSC Based Representation of DiCons. [Citation Graph (0, 0)][DBLP ] Conf ] Loïc Hélouët Some Pathological Message Sequence Charts, and How to Detect Them. [Citation Graph (0, 0)][DBLP ] Conf ] Bengt Jonsson , Gerardo Padilla An Execution Semantics for MSC-2000. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolae Goga Comparing TorX, Autolink, TGV and UIO Test Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Natalia Sidorova , Martin Steffen Verifying Large SDL-Specifications Using Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Wenhui Zhang Applying SDL Specifications and Tools to the Verification of Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] 