Research Catalog

Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China

Title: Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China / edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
Author: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 : Beijing, China)
Publication: Boston : Kluwer Academic, 1999.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	QA76.9.F67 I35 1999	Off-site

Details

Additional Authors

Description

497 pages : illustrations; 25 cm.

Series Statement

International Federation for Information Processing ; 28

Uniform Title

International Federation for Information Processing (Series) ; 28.

Subjects

Bibliography (note)

Includes bibliographical references.

Contents

1. Confirming configurations in EFSM / A. Petrenko, S. Boroday and R. Groz -- 2. Remote testing can be as powerful as local testing / Claude Jard, Thierry Jeron and Lenaick Tanguy / [et al.] -- 3. Hit-or-Jump: An algorithm for embedded testing with applications to IN services / Ana Cavalli, David Lee and Christian Rinderknecht / [et al.] -- 4. Scalable and Object Oriented SDL State(chart)s / Birger Moller-Pedersen and Dagbjorn Nogva -- 5. Prototyping Framework for SDL with Evolving Semantics / Peter Csurgay -- 6. Framework for Automatic SDL to C++ Translation / Dirk Trossen, Christian Cseh and Roman Kogan -- 7. Stress Testing of Distributed Multimedia Software Systems / Jian Zhang, Shing-Chi Cheung and Samuel T. Chanson -- 8. Fair Testing through Probabilistic Testing / Manuel Nunez and David Ruperez -- 9. A Formal Approach to Conformance Testing of Distributed Routing Protocols / Jun Bi and Jianping Wu --
10. Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering / Peter Langendorfer and Hartmut Konig -- 11. A Graphical Parallel Composition Operator for Process Algebras / Hubert Garavel and Mihaela Sighireanu -- 12. Guaranteeing liveness in an object calculus through behavioural typing / Elie Najm, Abdelkrim Nimour and Jean-Bernard Stefani -- 13. Black Box Checking / Doron Peled, Moshe Y. Vardi and Mihalis Yannakakis -- 14. An Optimizing Compiler for Efficient Model Checking / Yifei Dong and C. R. Ramakrishnan -- 15. Exploiting Symmetry when Model-Checking Software / Patrice Godefroid -- 16. User-Friendly Verification / Pao-Ann Hsiung and Farn Wang -- 17. Specification and Verification of Synchronous Hardware using LOTOS / Ji He and Kenneth J. Turner -- 18. Provably Correct Hardware Compilation using Timing Diagrams / Michael Schenke and Michael Dossis --
19. An enhanced model for testing asynchronous communicating systems / Myungchul Kim, Jaehwi Shin and Samuel T. Chanson / [et al.] -- 20. Interoperability Test Suite Derivation for the TCP / Soonuk Seol, Myungchul Kim and Sungwon Kang / [et al.] -- 21. Coverage analysis for embedded testing and an application / Jinsong Zhu and Son T. Vuong -- 22. A Formal Description Technology: Graphic E-LOTOS / Li Wen, Ye Xinming and Liu Zhiyong -- 23. Global Timed Bisimulation: An Introduction / David de Frutos-Escrig, Natalia Lopez and Manuel Nunez -- 24. Protocol Synthesis for Real-Time Applications / Ahmed Khoumsi, Gregor v. Bochmann and Rachida Dssouli -- 25. Verifying an infinite family of inductions simultaneously using data independence and FDR / S. J. Creese and A. W. Roscoe -- 26. Specification and execution of tests using tMsc / Iulian Ober and Alain Kerbrat --
27. Model-Checking A Secure Group Communication Protocol: A Case Study / Alan J. Hu, Rui Li and Xizheng Shi / [et al.] -- 28. Software Model Checking / Gerard J. Holzmann and Margaret H. Smith.

ISBN

0792386469

LCCN

99040808

OCLC

ocm42009373
SCSB-3902078

Owning Institutions

Columbia University Libraries