Formal Techniques for Computer Systems and Business Processes Theoretical Computer Science and General Issues

Categorie

Ethical & social aspects of it

Winkel

Wordery

Merk

Springer berlin heidelberg

Formal Techniques for Computer Systems and Business Processes Theoretical Computer Science and General Issues : Springer : 9783540287018 : 3540287019 : 25 Aug 2005 : This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit' ede VersaillesSaint-Quentin-en-Yvelines,V- sailles, France, 1?3 September 2005. EPEW (European Performance Engineering Workshop) and WS-FM (Int- national Workshop on Web Services and Formal Methods) were colocated to gather the researchers working across the spectrum of techniques for modelling, speci?cation, analysis and veri?cation of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which went through a rigorous review process by international reviewers. We therefore owe special thanks to all members of both program committees of EPEW and WS-FM and their sub-referees for the excellent work they did in the short time they

59.47 EUR

Aanbevelingen