Formal Description Techniques IX

Theory, application and tools

By: R. Gotzhein (Editor), J. Bredereke (Editor)

Write A Review

Hardcover | 30 September 1996

At a Glance

Hardcover
536 Pages

Dimensions(cm)
23.39 x 15.6 x 3.02

Hardcover

$519.00

or 4 interest-free payments of $129.75 with

or

Aims to ship in 7 to 10 business days

This volume contains the combined proceedings of the IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardized FDTs. It features state-of-the-art theory, application, tools and industrialization of formal description. The book provides an insight into research directions with contributions from both industry and academia.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Electrical Engineering

Electrical Principles

5th Edition

Paperback

RRP $124.95

$104.50

16%
OFF

Electrotechnology Practice 6E + Electrical Trade Principles 6E Value Pack

6th Edition

Paperback

RRP $229.95

$180.80

21%
OFF

Flexible Supply Chain

Industrial Engineering Optimization Modeling of the Postal Service System

Hardcover

RRP $158.00

$117.50

26%
OFF

Machine Learning in Multimedia : Unlocking the Power of Visual and Auditory Intelligence - Suman Kumar Swarnkar

$178.40

29%
OFF

Computer Vision and Machine Intelligence for Renewable Energy Systems

Advances in Intelligent Energy Systems

Paperback

RRP $326.95

$246.75

25%
OFF

Artificial Intelligence in Material Science

Advances

Hardcover

RRP $273.00

$193.25

29%
OFF

Challenges in Information, Communication and Computing Technology

Proceedings of the 2nd International Conference on Challenges in Information, Communication, and Computing Technology (ICCICCT 2024), April 26th & 27th, 2024, Namakkal, Tamil Nadu, India

Hardcover

RRP $441.00

$312.25

29%
OFF

Multiple 3-phase Fault Tolerant Permanent Magnet Machine Drives

Design and Control

Hardcover

RRP $246.35

$188.90

23%
OFF

A+ National Pre-apprenticeship Maths and Literacy for Electrical : A+ PRE-APPRENTICESHIP - Andrew Spencer

$104.50

16%
OFF

Electrical Principles for the Electrical Trades + Connect + LearnSmart

7th Edition

Not Supplied By Publisher

RRP $142.95

$118.25

17%
OFF

Fundamentals of Electric Circuits

ISE 7th edition

Paperback

RRP $159.95

$130.75

18%
OFF

Power System Analysis and Design

7th SI Edition

Paperback

RRP $149.95

$118.25

21%
OFF

Electrical Wiring Practice

9th Edition

Not Supplied By Publisher

RRP $164.95

$134.35

19%
OFF

Ugly's Electrical Safety and NFPA 70E, 2021 Edition

Spiral Ringed Book

RRP $51.25

$35.75

30%
OFF

Ugly's Electrical References, 2023 Edition

Spiral Ringed Book

RRP $51.25

$35.75

30%
OFF

Uglyâs Electric Motors and Controls, 2020 Edition

Spiral Ringed Book

RRP $51.25

$35.75

30%
OFF

How to Diagnose and Fix Everything Electronic

2nd Edition

Paperback

RRP $44.95

$40.75

Practical Electronics for Inventors

Electronics

Paperback

RRP $71.95

$42.75

41%
OFF

J2ME in a Nutshell

A Desktop Quick Reference

Paperback

RRP $76.00

$35.75

53%
OFF

ISE Fundamentals of Digital Logic with VHDL Design

4th Edition

Paperback

RRP $159.95

$124.25

22%
OFF

Preface
Committee Members and Invited Speakers
List of Referees
The Video Dial Tone Service and the ATM Environment	p. 3
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps	p. 29
Design and Optimization of High-Performance Protocols with the DO-IT Toolbox	p. 45
Tool Support for Algebraic Specifications of Data in SDL-92	p. 61
Automating Performance Optimisation by Heuristic Analysis of a Formal Specification	p. 77
Formal Description Techniques - How Formal and Descriptive are they?	p. 95
Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems	p. 113
Formal Verification of Communication Protocols	p. 129
Applications of Fair Testing	p. 145
Fault Models for Testing in Context	p. 163
EPER: Efficient Packed Encoding Rules for ASN.1	p. 179
Relating Conformance Test Coverage to Formal Specifications	p. 195
Performance Modelling with the Formal Specification Language SDL	p. 213
The QUEST-Approach for the Performance Evaluation of SDL-Systems	p. 229
A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams	p. 245
Model Reduction of Modules for State-Event Temporal Logics	p. 263
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence	p. 279
A Timed Semantics for SDL	p. 295
Implementation of Multimedia systems based on a Real-Time Extension of Estelle	p. 310
Using Formal Methods: if you're so smart how come you ain't rich?	p. 329
A New Scheme for Memory-Efficient Probabilistic Verification	p. 333
Direct Verification of Bisimulations	p. 349
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars	p. 364
Model Checking Based on Occurrence Net Graph	p. 380
Network Computing	p. 399
Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines	p. 403
Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System	p. 419
Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS	p. 435
Combined Application of SDL-92, OMT, MSC and TTCN	p. 451
On the Introduction of Exceptions in E-LOTOS	p. 469
From LOTOS to Petri Nets through Iexpansion	p. 485
Comparing LOTOS and Z Refinement Relations	p. 501
Index of contributors	p. 517
Keyword index	p. 518
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Description Techniques IX

Theory, application and tools

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Electrical Engineering

Electrical Principles

5th Edition

Electrotechnology Practice 6E + Electrical Trade Principles 6E Value Pack

6th Edition

Flexible Supply Chain

Industrial Engineering Optimization Modeling of the Postal Service System

Machine Learning in Multimedia

Unlocking the Power of Visual and Auditory Intelligence

Physiological Optical Imaging

Bio-Inspired Data-driven Distributed Energy in Robotics and Enabling Technologies

Intelligent Data-driven Systems and Artificial Intelligence

Computer Vision and Machine Intelligence for Renewable Energy Systems

Advances in Intelligent Energy Systems

Artificial Intelligence in Material Science

Advances

Challenges in Information, Communication and Computing Technology

Proceedings of the 2nd International Conference on Challenges in Information, Communication, and Computing Technology (ICCICCT 2024), April 26th & 27th, 2024, Namakkal, Tamil Nadu, India

Multiple 3-phase Fault Tolerant Permanent Magnet Machine Drives

Design and Control

A+ National Pre-apprenticeship Maths and Literacy for Electrical

A+ PRE-APPRENTICESHIP

Electric Circuits

11th Global Edition

Electrical Trade Practices

3rd Edition

Electrical Principles for the Electrical Trades + Connect + LearnSmart

7th Edition

Fundamentals of Electric Circuits

ISE 7th edition

Power System Analysis and Design

7th SI Edition

Electrical Wiring Practice

9th Edition

Ugly's Electrical Safety and NFPA 70E, 2021 Edition

Ugly's Electrical References, 2023 Edition

Uglyâs Electric Motors and Controls, 2020 Edition

How to Diagnose and Fix Everything Electronic

2nd Edition

Practical Electronics for Inventors

Electronics

J2ME in a Nutshell

A Desktop Quick Reference

ISE Fundamentals of Digital Logic with VHDL Design

4th Edition

This product is categorised by

Popular Searches