Conferences in DBLP
SAM (sam) Andreas Hoffmann , Bertram Neubauer Deployment and Configuration of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Böhme , Joachim Fischer eODL and SDL in Combination for Components. [Citation Graph (0, 0)][DBLP ] Conf ] Margarita de Cabo , Manuel Rodríguez Applying eODL and SDL-Patterns for Developing TMN Managed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Dorsch , Anders Ek , Reinhard Gotzhein SPT - The SDL Pattern Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Øystein Haugen Comparing UML 2.0 Interactions and MSC-2000. [Citation Graph (0, 0)][DBLP ] Conf ] Rick Reed Data Encoding for SDL in ITU-T Rec. Z.104. [Citation Graph (0, 0)][DBLP ] Conf ] Edel Sherratt SDL in a Changing World. [Citation Graph (0, 0)][DBLP ] Conf ] Ferhat Khendek , Christophe Lohr , Li Xin Wang , Xiao Jun Zhang , Tong Zheng Early Validation of Deployment and Scheduling Constraints for MSC Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Bill Mitchell , Robert Thomson , Paul Bristow Scenario Synthesis from Imprecise Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Jameleddine Hassine , Rachida Dssouli , Juergen Rilling Applying Reduction Techniques to Software Functional Requirement Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Rinderknecht Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Cas J. F. Cremers , Sjouke Mauw Checking Secrecy by Means of Partial Order Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Loïc Hélouët Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Fischer , Michael Piefel , Markus Scheidgen A Metamodel for SDL-2000 in the Context of Metamodelling ULF. [Citation Graph (0, 0)][DBLP ] Conf ] Ingmar Fliege , Alexander Geraldy , Reinhard Gotzhein , Philipp Schaible A Flexible Micro Protocol Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Rolv Bræk , Jacqueline Floch ICT Convergence: Modeling Issues. [Citation Graph (0, 0)][DBLP ] Conf ] Arjan J. Mooij , Nicolae Goga Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Weil , Thomas Weigert Guidelines for Using SDL in Product Development. [Citation Graph (0, 0)][DBLP ] Conf ] Paresh Jain , Amresh Paresh Jain Validating Wireless Protocol Conformance Test Cases. [Citation Graph (0, 0)][DBLP ] Conf ] 