|
|
libcats.org
Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung LeeThis book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: + Formal Methods in Software Development, + Process Algebra, + Timed Automata, + Theories and Applications of Verification, + Distributed Systems Testing, + Test Sequence Derivation. In addition, the last part of the book contains special contributions by leading researchers in the above areas to add breadth and give more perspectives to the results. This volume contains the selected proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), which was sponsored by the International Federation for Information Processing (IFIP) and held in Cheju Island, Korea in August 2001. FORTE 2001 combines two prestigious conferences, FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification Testing and Verification), and has more than 20 years of history. Formal Techniques for Networked and Distributed Systems will be essential reading for researchers and engineers working in the fields of communications, test equipment R&D, and telecommunications, as well as to software engineering tool developers.
Скачать книгу бесплатно (pdf, 3.40 Mb)
Читать «Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Sink or Float: Thought Problems in Math and PhysicsАвтор: Keith KendigКатегория: Popular-level
Размер книги: 3.19 Mb
Surgical Techniques in Sports MedicineАвтор: Alfredo Guglielmi, Автор: Andrea Ruzzenente, Автор: Calogero Iacono, Автор: L. Marchiori, Автор: S. Pachera, Автор: L. Bortolasi, Автор: R. Manfredi, Автор: P. CapelliКатегория: medicine - surgery
Размер книги: 141.03 Mb
Evaluation for Risk of Violence in Juveniles (Best Practices in Forensic Mental Health Assessment)Автор: Robert Hoge, Автор: D.A. Andrews
Размер книги: 767 Kb
Blink 182 Enema of the StateАвтор: International Music Publications, Автор: Limited
Размер книги: 45.99 Mb
The Sciences' Media Connection -Public Communication and its RepercussionsАвтор: Simone Rödder, Автор: Martina Franzen, Автор: Peter Weingart
Размер книги: 2.97 Mb
|
|
|