Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /

Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /

Saved in:
Bibliographic Details
Meeting name:FORTE 2003 (2003 : Berlin, Germany)
Imprint:Berlin ; New York : Springer, ©2003.
Description:1 online resource (xii, 429 pages) : illustrations.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 2767
Lecture notes in computer science ; 2767.
Subject:
Formal methods (Computer science) -- Congresses.
Electronic data processing -- Distributed processing -- Congresses.
Computer network protocols -- Congresses.
Computer network protocols.
Electronic data processing -- Distributed processing.
Formal methods (Computer science)
Conference papers and proceedings.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11066233
Hidden Bibliographic Details
Other authors / contributors:K�nig, Hartmut, 1950- Prof. Dr.-Ing. habil.
Heiner, Monika, 1954-
Wolisz, Adam.
ISBN:9783540399797
3540399798
3540201750
9783540201755
Digital file characteristics:text file PDF
Notes:Includes bibliographical references and index.
English.
Summary:This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003. The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.
Other form:FORTE 2003 (2003 : Berlin, Germany) Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings
Standard no.:10.1007/11965
Table of Contents:
  • UNIX STREAMS Generation from a Formal Specification
  • Specifying and Realising Interactive Voice Services
  • Vertical Reuse in the Development of Distributed Systems with FDTs
  • Service-Oriented Systems Engineering: Modeling Services and Layered Architectures
  • Validation of the Sessionless Mode of the HTTPR Protocol
  • Generation of All Counter-Examples for Push-Down Systems
  • Modeling and Model Checking Mobile Phone Payment Systems
  • Behavioural Contracts for a Sound Assembly of Components
  • Automatic Verification of Annotated Code
  • Combating Infinite State Using Ergo
  • Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
  • Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream
  • Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
  • How Stop and Wait Protocols Can Fail over the Internet
  • Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis
  • A Lightweight Formal Analysis of a Multicast Key Management Scheme
  • Formal Security Policy Verification of Distributed Component-Structured Software
  • Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers
  • Concerning the Ordering of Adaptive Test Sequences
  • Correct Passive Testing Algorithms and Complete Fault Coverage
  • QoS Functional Testing for Multi-media Systems
  • Towards Testing Stochastic Timed Systems
  • Formal Design of Interactive Multimedia Documents
  • Progressive Solutions to a Parallel Automata Equation
  • Type Abstraction in Formal Protocol Specifications with Container Types
  • Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems
  • Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts.

Similar Items