Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, Paperback / softback Book

Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings Paperback / softback

Edited by Farn Wang

Part of the Programming and Software Engineering series

Paperback / softback

Item not Available

Description

FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started.

Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series.

The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain).

The 25th FORTE was held from Sunday to Wednesday, October 2-5, 2005 on the beautiful campus of the National Taiwan University (NTU), Taipei, Taiwan, ROC.

The scope covered formal description techniques (MSC, UML, Use cases, ...), semantic foundations, model-checking, SAT-based techniques, process algebrae, - stractions, protocol testing, protocol veri?cation, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and s- eral promising new techniques. In total, we received 88 submissions and accepted 33 regular papers and 6 short papers.

All submissions received three reviews. The ?nal program also included 3 keynote speeches, respectively by Prof.

Amir Pnueli, Dr. C- stance Heitmeyer, and Prof. Teruo Higashino, and 3 tutorials, respectively by Prof.

Rance Cleaveland, Dr. Constance Heitmeyer, and Prof. Teruo Higashino. The proce- ings also include the text of the keynote speeches.

In addition, there were social events, including a reception, a banquet, and an excursion.

Information

Save 18%

£94.50

£77.35

Item not Available
Item not Available
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information

Also in the Programming and Software Engineering series

Verified Software: Theorie, Tools,...

£44.99

Add to Basket

Practical Aspects of Declarative...

£44.99

£37.09

Add to Basket