عنوان

Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]

کد کشور

IR

شماره

621 EBL

زبان متن نوشتاري يا گفتاري و مانند آن

انگلیسی

کشور محل نشر

IR

عنوان اصلي

Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]

نام عام مواد

[Book]

نام نخستين پديدآور

/ Edited by Myungchul Kim ... [et al]

محل نشرو پخش و غیره

Boston

نام ناشر، پخش کننده و غيره

: Kluwer Academic Publishers,

تاریخ نشرو بخش و غیره

, c2001.

نام خاص و کميت اثر

xii, 458 p.

ساير جزييات

: ill.

ابعاد

; 24 cm.

متن يادداشت

Electronic

متن يادداشت

Bibliography

متن يادداشت

Machine generated contents note: Part One -- FORMAL METHODS IN SOFTWARE DEVELOPMENT I -- 1. Automated Derivation of ILP Implementations from SDL 3 -- Specifications -- S. Twarok, P. Langendoerfer and H. Koenig -- 2. Stepwise Design with Message Sequence Charts 19 -- F. Khendek, S. Bourduas andD. Vincent -- 3. Formal Synthesis and Control of Soft Embedded Real-Time 35 -- Systems -- P.-A. Hsiung -- Part Two -- DISTRIBUTED SYSTEMS TESTING -- 4. Towards a Formal Framework for Interoperability Testing 53 -- C. Viho, S. Barbin and L. Tanguy -- 5. Distributed Test using Logical Clock 69 -- Y. J. Choi, H. Y. Youn, S. Seol and S. J. Yoo -- 6. Diagnosing Multiple Faults in Communicating Finite State 85 -- Machines -- K. El-Fakih, N. Yevtushenko and G. v. Bochmann -- 7. From Active to Passive: Progress in Testing of Internet 101 -- Routing Protocols -- J. Wu, Y. Zhao andX Yin -- Part Three -- TIMED AUTOMATA -- 8. Time and Action Lock Freedom Properties for Timed 119 -- Automata -- H. Bowman -- 9. Compiling Real-Time Scenarios into a Timed Automaton 135 -- A. Salah, R. Dssouli and G. Lapalme -- 10. Deriving Parameter Conditions for Periodic Timed Automata 151 -- Satisfying Real-Time Temporal Logic Formulas -- A. Nakata and T. Higashino -- Part Four -- PROCESS ALGEBRA -- 11. PAMR: A Process Algebra for the Management of 169 -- Resources in Concurrent Systems -- M. Nutiez and I. Rodriguez -- 12. A Symbolic Semantics and Bisimulation for Full LOTOS 185 -- M. Calder and C. Shankland -- 13. Implementing a Modal Logic over Data and Processes using XTL 201 -- J. Bryans and C. Shankland -- Part Five -- APPLICATIONS OF VERIFICATION -- 14. Formal Verification of Peephole Optimizations in 219 -- Asynchronous Circuits -- X Kong and R. Negulescu -- 15. Symbolic Verification of Complex Real-Time Systems with 235 -- Clock-Restriction Diagram -- F. Wang -- 16. Verifying a Sliding Window Protocol using PVS 251 -- V. Rusu -- Part Six -- TEST SEQUENCE DERIVATION -- 17. Test Sequence Selection 269 -- D. Lee and R. Hao -- 18. Executable Test Sequence for the Protocol Data Flow Property 285 -- W.-H. Chen -- 19. A Method to Generate Conformance Test Sequences for 301 -- FSM with Timer System Call -- T. Mori, K. Tokuda, H. Tada, M. Higuchi and T. Higashino -- Part Seven -- FORMAL METHODS IN SOFTWARE DEVELOPMENT H -- 20. A Tool for Generating Specifications from a Family of Formal 319 -- Requirements -- J. Bredereke -- 21. Patterns and Rules for Behavioural Subtyping 335 -- H. Wehrheim -- Part Eight -- THEORIES OF VERIFICATION -- 22. Verification of Dense Time Properties using Theories of 353 -- Untimed Process Algebra -- M. Luukkainen -- 23. Testing Liveness Properties: Approximating Liveness 369 -- Properties by Safety Properties -- U. Ultes-Nitsche and S. St James -- 24. SVL: A Scripting Language for Compositional Verification 377 -- H. Garavel and F. Lang -- Part Nine -- INVITED PAPERS -- 25. On Formal Techniques in Protocol Engineering - Example 395 -- Challenges -- D. Bjorner -- 26. A PKI-Based End-to-End Secure Infrastructure for Mobile 421 -- E-Commerce -- T.-W. Cheungand S. T. Chanson -- 27. A Family of Resource-Bound Real-Time Process Algebras 443 -- I. Lee, J.-Y. Choi, H. H. Kwak, A. Philippou and 0. Sokolsky -- 28. Survivability Analysis of Networked Systems 459 -- J. M. Wing.

عنوان گونه گون

Formal techniques for networked and distributed systems

موضوع مستند نشده

Formal methods (Computer science)--Congresses

موضوع مستند نشده

Electronic data processing--Distributed processing--Congresses

موضوع مستند نشده

Computer network protocols--Congresses

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Kim, Myungchul

مستند نام تنالگان تاييد نشده

FORTE 2001(2001 :Cheju-do, Korea)

کشور

ایران

نام ميزبان

2001-69159 Formal Techniques for Networked and Distributed Systems.pdf

شماره دسترسي

عادی

اطلاعات مختصر

محرمانه

تاريخ و ساعت مذاکره و دسترسي

2001-69159 Formal Techniques for Networked and Distributed Systems1.pdf

بيت در ثانيه

4018250

ارتباط براي تسهيلات دسترسي

مدیر

نوع فرمت الکترونيکي

متن

اندازه فايل

0

شماره کنترل رکورد

621 EBL

وضعیت فهرست نویسی

old catalog

فرمت انتشار

e

نوع ماده

BL

پیشوند ISBD اعمال شده است

1

سطح دسترسي

a

تكميل شده

Y