Conferences in DBLP
André A. S. Danthine The Video Dial Tone Service and the ATM Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Tsvetomir P. Petrov , Anna Pogosyants , Stephen J. Garland , Victor Luchangco , Nancy A. Lynch Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Mitschele-Thiel , Peter Langendörfer , Ralf Henke Design and Optimization of High-Performance Protocols with the DO-IT Toolbox. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolai Mansurov , Alexei S. Ragozin , Andrew V. Chernov , I. V. Mansurov Tool Support for Algebraic Specifications of Dat in SDL-92. [Citation Graph (0, 0)][DBLP ] Conf ] Philipp Hoschka Automating Performance Optimisation by Heuristic Analysis of a Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy Formal Description Techniques - How Formal and Descriptive are they? [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Kleuker Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. [Citation Graph (0, 0)][DBLP ] Conf ] M. A. S. Smith Formal Verification of Communication Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Ed Brinksma , Arend Rensink , Walter Vogler Applications of Fair Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Petrenko , Nina Yevtushenko , Gregor von Bochmann Fault Models for Testing in Context. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroki Horiuchi , Tetsuya Kuroki , Sadao Obana , Kenji Suzuki EPER: Efficient Parallel Encoding Rules for ASN.1. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Groz , Olivier Charles , Josiane Renévot Relating Conformance Test Coverage to Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] M. Bütow , Mark Mestern , C. Schapiro , Pieter S. Kritzinger Performance Modelling with the Formal Specification Language SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Diefenbruch , Jörg Hintelmann , Bruno Müller-Clostermann The QUEST-Approach for the Performance Evaluation of SDL-Systems. [Citation Graph (0, 0)][DBLP ] Conf ] L. Braga , Roberto Manione , P. Renditore A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] M. Lawford , Jonathan S. Ostroff , W. Murray Wonham Model Reduction of Modules for State-Even Temporal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Akio Nakata , Teruo Higashino , Kenichi Taniguchi Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Mørk , Jens Chr. Godskesen , Michael R. Hansen , Robin Sharp A Timed Semantics for SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Fischer Implementation of Multimedia Systems based on Real-Time Extensions of Estelle. [Citation Graph (0, 0)][DBLP ] Conf ] Ed Brinksma Using Formal Methods: if you're so smart how come you ain't rich? [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Stern , David L. Dill A New Scheme for Memory-Efficient Probabilistic Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Martín Llamas Nistal , Juan Quemada , Manuel J. Fernández Iglesias Direct Verification of Bisimulations. [Citation Graph (0, 0)][DBLP ] Conf ] Yves-Marie Quemener , Thierry Jéron Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Couvreur , Denis Poitrenaud Model Checking Based on Occurrence Net Graph. [Citation Graph (0, 0)][DBLP ] Conf ] Lothar F. Mackert Network Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Samuel Huang , David Lee , Mark G. Staskauskas Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Kellerer , Andreas Iselt , R. Riek Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System. [Citation Graph (0, 0)][DBLP ] Conf ] Ghassan Chehaibar , Hubert Garavel , Laurent Mounier , Nadia Tawbi , Ferruccio Zulian Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Eurico Inocêncio , Manuel Ricardo , Hitoshi Sato , Toshimitsu Kashima Combined Application of SDL-92, OMT, MSC and TTCN. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Garavel , Mihaela Sighireanu On the Introduction of Exceptions in E-LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] David Larrabeiti , Juan Quemada , Santiago Pavón From LOTOS to Petri Nets through Iexpansion. [Citation Graph (0, 0)][DBLP ] Conf ] John Derrick , Howard Bowman , Eerke A. Boiten , Maarten Steen Comparing LOTOS and Z Refinement Relations. [Citation Graph (0, 0)][DBLP ] Conf ] 