Abstract is missing.
- The Video Dial Tone Service and the ATM EnvironmentAndré A. S. Danthine. 3-25
- Computer-Assisted Verification of an Algorithm for Concurrent TimestampsTsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch. 29-44
- Design and Optimization of High-Performance Protocols with the DO-IT ToolboxAndreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke. 45-60
- Tool Support for Algebraic Specifications of Dat in SDL-92Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov. 61-76
- Automating Performance Optimisation by Heuristic Analysis of a Formal SpecificationPhilipp Hoschka. 77-92
- Formal Description Techniques - How Formal and Descriptive are they?Manfred Broy. 95-110
- Using Formal Methods in the Development of Protocols for Multi-User Multimedia SystemsStephan Kleuker. 113-128
- Formal Verification of Communication ProtocolsM. A. S. Smith. 129-144
- Applications of Fair TestingEd Brinksma, Arend Rensink, Walter Vogler. 145-160
- Fault Models for Testing in ContextAlexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann. 163-178
- EPER: Efficient Parallel Encoding Rules for ASN.1Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki. 179-194
- Relating Conformance Test Coverage to Formal SpecificationsRoland Groz, Olivier Charles, Josiane Renévot. 195-210
- Performance Modelling with the Formal Specification Language SDLM. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger. 213-228
- The QUEST-Approach for the Performance Evaluation of SDL-SystemsMarc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann. 229-244
- A Formal Description Language for the Modelling and Simulation of Timed Interaction DiagramsL. Braga, Roberto Manione, P. Renditore. 245-260
- Model Reduction of Modules for State-Even Temporal LogicsM. Lawford, Jonathan S. Ostroff, W. Murray Wonham. 263-278
- Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation EquivalenceAkio Nakata, Teruo Higashino, Kenichi Taniguchi. 279-294
- A Timed Semantics for SDLSimon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp. 295-309
- Implementation of Multimedia Systems based on Real-Time Extensions of EstelleStefan Fischer. 310-326
- Using Formal Methods: if you re so smart how come you ain t rich?Ed Brinksma. 329
- A New Scheme for Memory-Efficient Probabilistic VerificationUlrich Stern, David L. Dill. 333-348
- Direct Verification of BisimulationsMartín Llamas Nistal, Juan Quemada, Manuel J. Fernández Iglesias. 349-363
- Finitely Representing Infinite Reachability Graphs of CFSMs with Graph GrammarsYves-Marie Quemener, Thierry Jéron. 364-379
- Model Checking Based on Occurrence Net GraphJean-Michel Couvreur, Denis Poitrenaud. 380-395
- Network ComputingLothar F. Mackert. 399
- Validation-Based Test Sequence Generation for Networks of Extended Finite State MachinesSamuel Huang, David Lee, Mark G. Staskauskas. 403-418
- Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller SystemWolfgang Kellerer, Andreas Iselt, R. Riek. 419-434
- Specification and Verification of the PowerScale:::TM::: Bus Arbitration Protocol: An Industrial Experiment with LOTOSGhassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian. 435-450
- Combined Application of SDL-92, OMT, MSC and TTCNEurico Inocêncio, Manuel Ricardo, Hitoshi Sato, Toshimitsu Kashima. 451-466
- On the Introduction of Exceptions in E-LOTOSHubert Garavel, Mihaela Sighireanu. 469-484
- From LOTOS to Petri Nets through IexpansionDavid Larrabeiti, Juan Quemada, Santiago Pavón. 485-500
- Comparing LOTOS and Z Refinement RelationsJohn Derrick, Howard Bowman, Eerke Boiten, Maarten Steen. 501-516