Implementation of Multimedia Systems based on a Real-Time Extension of Estelle (Englisch)
- Neue Suche nach: Fischer, S.
- Neue Suche nach: International Federation for Information Processing
- Neue Suche nach: Fischer, S.
- Neue Suche nach: Gotzhein, R.
- Neue Suche nach: Bredereke, J.
- Neue Suche nach: International Federation for Information Processing
In:
Formal description techniques
;
310-328
;
1996
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Implementation of Multimedia Systems based on a Real-Time Extension of Estelle
-
Beteiligte:Fischer, S. ( Autor:in ) / Gotzhein, R. / Bredereke, J. / International Federation for Information Processing
-
Kongress:International conference; 9th, Formal description techniques ; 1996 ; Kaiserslautern; Germany
-
Erschienen in:Formal description techniques ; 310-328
-
Verlag:
-
Erscheinungsort:London
-
Erscheinungsdatum:01.01.1996
-
Format / Umfang:19 pages
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
The Video Dial Tone Service and the ATM EnvironmentDanthine, A. / International Federation for Information Processing et al. | 1996
- 29
-
Computer-Assisted Verification of an Algorithm for Concurrent TimestampsPetrov, T. P. / Pogosyants, A. / Garland, S. J. / Luchangco, V. / International Federation for Information Processing et al. | 1996
- 45
-
Design and Optimization of High-Performance Protocols with the DO-IT ToolboxMitschele-Thiel, A. / Langendoerfer, P. / Henke, R. / International Federation for Information Processing et al. | 1996
- 61
-
Tool Support for Algebraic Specifications of Data in SDL-92Mansurov, N. N. / Ragozin, A. S. / Chernov, A. V. / Mansurov, I. V. / International Federation for Information Processing et al. | 1996
- 77
-
Automating Performance Optimisation by Heuristic Analysis of a Formal SpecificationHoschka, P. / International Federation for Information Processing et al. | 1996
- 95
-
Formal Description Techniques - How Formal and Descriptive are they?Broy, M. / International Federation for Information Processing et al. | 1996
- 113
-
Using Formal Methods in the Development of Protocols for Multi-User Multimedia SystemsKleuker, S. / International Federation for Information Processing et al. | 1996
- 129
-
Formal Verification of Communication ProtocolsSmith, M. A. S. / International Federation for Information Processing et al. | 1996
- 145
-
Applications of Fair TestingBrinksma, E. / Rensink, A. / Vogler, W. / International Federation for Information Processing et al. | 1996
- 163
-
Fault Models for Testing in ContextPetrenko, A. / Yevtushenko, N. / Bochmann, G. V. / International Federation for Information Processing et al. | 1996
- 179
-
EPER: Efficient Packed Encoding Rules for ASN. 1Horiuchi, H. / Kuroki, T. / Obana, S. / Suzuki, K. / International Federation for Information Processing et al. | 1996
- 195
-
Relating Conformance Test Coverage to Formal SpecificationsGroz, R. / Charles, O. / Renevoi, J. / International Federation for Information Processing et al. | 1996
- 213
-
Performance Modelling with the Formal Specification Language SDLBuetow, M. / Mestern, M. / Schapiro, C. / Kritzinger, P. S. / International Federation for Information Processing et al. | 1996
- 229
-
The QUEST-Approach for the Performance Evaluation of SDL-SystemsDiefenbruch, M. / Hintelmann, J. / Mueller-Clostermann, B. / International Federation for Information Processing et al. | 1996
- 245
-
A Formal Description Language for the Modelling and Simulation of Timed Interaction DiagramsBraga, L. / Manione, R. / Renditore, P. / International Federation for Information Processing et al. | 1996
- 263
-
Model Reduction of Modules for State-Event Temporal LogicsLawford, M. / Ostroff, J. S. / Wonham, W. M. / International Federation for Information Processing et al. | 1996
- 279
-
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation EquivalenceNakata, A. / Higashino, T. / Taniguchi, K. / International Federation for Information Processing et al. | 1996
- 295
-
A Timed Semantics for SDLMoerk, S. / Godskesen, J. C. / Hansen, M. R. / Sharp, R. / International Federation for Information Processing et al. | 1996
- 310
-
Implementation of Multimedia Systems based on a Real-Time Extension of EstelleFischer, S. / International Federation for Information Processing et al. | 1996
- 329
-
Using Formal Methods: if you're so smart how come you ain't rich'?Brinksma, E. / International Federation for Information Processing et al. | 1996
- 333
-
A New Scheme for Memory-Efficient Probabilistic VerificationStern, U. / Dill, D. L. / International Federation for Information Processing et al. | 1996
- 349
-
Direct Verification of BisimulationsLlamas, M. / Quemada, J. / Fernandez, M. J. / International Federation for Information Processing et al. | 1996
- 364
-
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph GrammarsQuemener, Y.-M. / Jeron, T. / International Federation for Information Processing et al. | 1996
- 380
-
Model Checking Based on Occurrence Net GraphCouvreur, J.-M. / Poitrenaud, D. / International Federation for Information Processing et al. | 1996
- 399
-
Network ComputingMackert, L. / International Federation for Information Processing et al. | 1996
- 403
-
Validation-Based Test Sequence Generation for Networks of Extended Finite State MachinesHuang, S. / Lee, D. / Staskauskas, M. / International Federation for Information Processing et al. | 1996
- 419
-
Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller SystemKellerer, W. / Iselt, A. / Riek, R. / International Federation for Information Processing et al. | 1996
- 435
-
Specification and Verification of the PowerScale[TM] Bus Arbitration Protocol: An Industrial Experiment with LOTOSChehaibar, G. / Garavel, H. / Mounier, L. / Tawbi, N. / International Federation for Information Processing et al. | 1996
- 451
-
Combined Application of SDL-92, OMT, MSC and TTCNInocencio, E. / Ricardo, M. / Sato, H. / Kashima, T. / International Federation for Information Processing et al. | 1996
- 469
-
On the Introduction of Exceptions in E-LOTOSGaravel, H. / Sighireanu, M. / International Federation for Information Processing et al. | 1996
- 485
-
From LOTOS to Petri Nets through IexpansionLarrabeiti, D. / Quemada, J. / Pavon, S. / International Federation for Information Processing et al. | 1996
- 501
-
Comparing LOTOS and Z Refinement RelationsDerrick, J. / Bowman, H. / Boiten, E. A. / Steen, M. W. A. / International Federation for Information Processing et al. | 1996