Formal Techniques for Networked and Distributed Systems - FORTE 2005

25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

  • Farn Wang

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3731)

Table of contents

  1. Front Matter
  2. KEYNOTE SPEECHES

  3. REGULAR PAPERS

    1. Benedikt Bollig, Martin Leucker
      Pages 53-67
    2. Dezhuang Zhang, Rance Cleaveland
      Pages 83-97
    3. Lijun Zhang, Holger Hermanns, David N. Jansen
      Pages 98-112
    4. Oskar Wibling, Joachim Parrow, Arnold Pears
      Pages 128-142
    5. Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot
      Pages 143-158
    6. César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher Gill, Zohar Manna
      Pages 159-173
    7. Charles A. Lakos
      Pages 174-188
    8. Kais Klai, Serge Haddad, Jean-Michel Ilié
      Pages 189-203
    9. Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko
      Pages 204-218
    10. J. Chen, R. M. Hierons, H. Ural
      Pages 219-232
    11. Chi-Lan Chang, Yun-Peng Chiu, Chin-Laung Lei
      Pages 233-246

About these proceedings

Keywords

Bisimulation automata communication protocols distributed computing distributed systems embedded systems formal methods formal specification logic model checking modeling network protocols networked systems programming real-time

Editors and affiliations

  • Farn Wang
    • 1
  1. 1.Grad. Inst. of Electronic EngineeringNational Taiwan UniversityTaiwan, ROC

Bibliographic information

  • DOI https://doi.org/10.1007/11562436
  • Copyright Information IFIP International Federation for Information Processing 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29189-3
  • Online ISBN 978-3-540-32084-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book