Formal Techniques for Networked and Distributed Systems - FORTE 2006

Formal Techniques for Networked and Distributed Systems - FORTE 2006
Ph1AIjiOnEMC
488
By:"Elie Najm","Jean-Francois Pradat-Peyre","Véronique Viguié Donzeau-Gouge"
"Computers"
Published on 2006-09-27 by Springer Science & Business Media

[NR00] Mangala Gowri Nanda and S. Ramesh. Slicing concurrent programs. In \u003cbr\u003e\nProceedings of the International Symposium on Software Testing and Analysis, \u003cbr\u003e\npages 180–190. ACM Press, 2000. [SC03] Ricky E. Sward and \u003cb\u003eA.T. Chamillard\u003c/b\u003e.

READ NOW

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches.

This Book was ranked 30 by Google Books for keyword a.t. chamillard.

The book is written in enfor NOT_MATURE

Read Ebook Now
false
true

Printed Version of this book available in
BOOK

Availability of Ebook version is falsein falseor true

Public Domain Status false