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)
24.77 x 17.15 x 3.18

Hardcover

$489.75

or 4 interest-free payments of $122.44 with

Ships in 5 to 7 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

Orders over $79.00 qualify for free shipping.

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.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Networking & Communications Networking Standards & Protocols Science Physics Classical Mathematics Wave Mechanics including Vibration & Acoustics Engineering & Technology Energy Technology & Engineering Electrical Engineering Electronics & Communications Engineering

Electronics Engineering Computer Hardware Network Hardware Computer Science Other Technologies & Applied Sciences Applied Optics Imaging Systems & Technology

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 Computer Science

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Nexus

A Brief History of Information Networks from the Stone Age to AI

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Creative Machines

AI, Art & Us

Machine Learning For Dummies

For Dummies (Computer/Tech)

The Tech Coup

How to Save Democracy from Silicon Valley

AI for Business

A Guide to AI Adoption

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

New Beginnings

why change is so difficult and how to achieve it

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The Shortest History of AI

Python All-in-One For Dummies

3rd Edition

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

Artificial Intelligence

A Modern Approach, 4th Global Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

MRI in Practice

5th Edition

REVOLUTIONIZING DRUG DEVELOPMENT

HARNESSING AI AND COMPUTATIONAL BIOLOGY

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

The AI Marketing Canvas, Second Edition

A Five-Step AI Plan for Marketers

This product is categorised by