Kim M., Chin B., Kang S. — Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001
Авторы: Kim M., Chin B., Kang S.
Аннотация:
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference
of FORTE (Formal Description Techniques for Distributed Systems and
Communication Protocols) and PSTV (Protocol Specification, Testing and
Verification) conferences. This year the conference has a new name FORTE
(Formal Techniques for Networked and Distributed Systems). The previous
FORTE began in 1989 and the PSTV conference in 1981. Therefore the new
FORTE conference actually has a long history of 21 years.
The purpose of this conference is to introduce theories and formal
techniques applicable to various engineering stages of networked and
distributed systems and to share applications and experiences of them. This
FORTE 2001 conference proceedings contains 24 refereed papers and 4
invited papers on the subjects. We regret that many good papers submitted
could not be published in this volume due to the lack of space.
|
|
О проекте