rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Formal techniques for networked and distributed systems
    sub title: FORTE 2001 : IFIP TC6 WG6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
  name:
    name part: FORTE 2001 (2001 : Cheju-do, Korea)
    role:
      role term: creator
  name:
    name part: Kim, Myungchul.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Conference proceedings.
  origin info:
    place:
      place term: nyu
    date issued: 2002
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xii, 458 pages) : illustrations
  table of contents: 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 --…
  note: edited by Myungchul Kim [and others].
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Electronic data processing
    topic: Distributed processing
    genre: Congresses
  subject:
    topic: Formal methods (Computer science)
    genre: Congresses
  subject:
    topic: COMPUTERS
    topic: Client-Server Computing
  subject:
    topic: Electronic data processing
    topic: Distributed processing
  subject:
    topic: Formal methods (Computer science)
  classification: QA75.5 .I68 2001eb
  classification: 004.36
  related item:
    title info:
      title: Formal techniques for networked and distributed systems
    name:
      name part: FORTE 2001 (2001 : Cheju-do, Korea).
    origin info:
      publisher: New York : Kluwer Academic Publishers, ©2002
  identifier: 0306470039
  identifier: 9780306470035
  identifier: 0792374703
  identifier: 9780792374701
  identifier: OverDrive, Inc.
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: N$T
    record creation date: 020715
    record change date: 20190326183902.0
    record identifier: in00002235909
    language of cataloging:
      language term: eng