Tool support for algebraic specifications of data in SDL-92 (English)
Free access
- New search for: Mansurov, N. N.
- New search for: Ragozin, A. S.
- New search for: Chernov, A. V.
- New search for: Mansurov, I. V.
- New search for: Mansurov, N. N.
- New search for: Ragozin, A. S.
- New search for: Chernov, A. V.
- New search for: Mansurov, I. V.
In:
Formal Description Techniques IX
;
61-76
;
1996
- Article/Chapter (Book) / Electronic Resource
-
Title:Tool support for algebraic specifications of data in SDL-92
-
Contributors:Mansurov, N. N. ( author ) / Ragozin, A. S. ( author ) / Chernov, A. V. ( author ) / Mansurov, I. V. ( author )
-
Published in:Formal Description Techniques IX ; 61-76
-
Publisher:
- New search for: Springer US
-
Place of publication:Boston, MA
-
Publication date:1996-01-01
-
Size:16 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
The Video Dial Tone Service and the ATM EnvironmentDanthine, André et al. | 1996
- 29
-
Computer-Assisted Verification of an Algorithm for Concurrent TimestampsPetrov, Tsvetomir P. / Pogosyants, Anna / Garland, Stephen J. / Luchangco, Victor / Lynch, Nancy A. et al. | 1996
- 45
-
Design and Optimization of High-Performance Protocols with the DO-IT ToolboxMitschele-Thiel, Andreas / Langendörfer, Peter / Henke, Ralf 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. et al. | 1996
- 77
-
Automating Performance Optimisation by Heuristic Analysis of A Formal SpecificationHoschka, Philipp et al. | 1996
- 95
-
Formal description techniques - how formal and descriptive are they?Broy, M. et al. | 1996
- 113
-
Using Formal Methods in the Development of Protocols for Multi-User Multimedia SystemsKleuker, Stephan et al. | 1996
- 129
-
Formal Verification of Communication ProtocolsSmith, M. A. S. et al. | 1996
- 145
-
Applications of Fair TestingBrinksma, E. / Rensink, A. / Vogler, W. et al. | 1996
- 163
-
Fault models for testing in contextPetrenko, A. / Yevtushenko, N. / Bochmann, G. v. et al. | 1996
- 179
-
EPER: Efficient Packed Encoding Rules for ASN.1Horiuchi, Hiroki / Kuroki, Tetsuya / Obana, Sadao / Suzuki, Kenji et al. | 1996
- 195
-
Relating conformance test coverage to formal specificationsGroz, Roland / Charles, Olivier / Renévot, Josiane et al. | 1996
- 213
-
Performance Modelling with the Formal Specification Language SDLBütow, M. / Mestern, M. / Schapiro, C. / Kritzinger, P. S. et al. | 1996
- 229
-
The QUEST-Approach for the Performance Evaluation of SDL-SystemsDiefenbruch, Marc / Hintelmann, Jörg / Müller-Clostermann, Bruno et al. | 1996
- 245
-
A Formal Description Language for the Modelling and Simulation of Timed Interaction DiagramsBraga, L. / Manione, R. / Renditore, P. et al. | 1996
- 263
-
Model Reduction of Modules for State-Event Temporal LogicsLawford, M. / Ostroff, J. S. / Wonham, W. M. et al. | 1996
- 279
-
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation EquivalenceNakata, Akio / Higashino, Teruo / Taniguchi, Kenichi et al. | 1996
- 295
-
A Timed Semantics for SDLMørk, Simon / Godskesen, Jens C. / Hansen, Michael R. / Sharp, Robin et al. | 1996
- 310
-
Implementation of multimedia systems based on a real-time extension of EstelleFischer, S. et al. | 1996
- 329
-
Using Formal Methods: if you’re so smart how come you ain’t rich?Brinksma, E. et al. | 1996
- 333
-
A New Scheme for Memory-Efficient Probabilistic VerificationStern, Ulrich / Dill, David L. et al. | 1996
- 349
-
Direct Verification of BisimulationsLlamas, Martin / Quemada, Juan / Fernández, Manuel J. et al. | 1996
- 364
-
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph GrammarsQuemener, Y. -M. / Jéron, T. et al. | 1996
- 380
-
Model Checking Based on Occurrence Net GraphCouvreur, Jean-Michel / Poitrenaud, Denis et al. | 1996
- 399
-
Network ComputingMackert, L. et al. | 1996
- 403
-
Validation-Based Test Sequence Generation for Networks of Extended Finite State MachinesHuang, Samuel / Lee, David / Staskauskas, Mark 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. et al. | 1996
- 435
-
Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOSChehaibar, Ghassan / Garavel, Hubert / Mounier, Laurent / Tawbi, Nadia / Zulian, Ferruccio et al. | 1996
- 451
-
Combined Application of SDL-92, OMT, MSC and TTCNInocêncio, Eurico / Ricardo, Manuel / Sato, Hitoshi / Kashima, Toshimitsu et al. | 1996
- 469
-
On the Introduction of Exceptions in E-LOTOSGaravel, Hubert / Sighireanu, Mihaela et al. | 1996
- 485
-
From LOTOS to Petri Nets through IexpansionLarrabeiti, D. / Quemada, J. / Pavón, S. et al. | 1996
- 501
-
Comparing LOTOS and Z refinement relationsDerrick, J. / Bowman, H. / Boiten, E. A. / Steen, M. W. A. et al. | 1996