Bravetti, Mario.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Techniques for Computer Systems and Business ProcessesEuropean Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings /
by:
(1998 :); Bravetti, Mario.; Kloul, Leila.; SpringerLink (Online service); Zavattaro, Gianluigi.
(Electronic resources)
Web Services and Formal MethodsThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
by:
(1998 :); Bravetti, Mario.; Nunez, Manuel.; SpringerLink (Online service); Zavattaro, Gianluigi.
(Electronic resources)
Web services and formal methods7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers /
by:
(1998 :); Bravetti, Mario.; Bultan, Tevfik.; SpringerLink (Online service)
(Electronic resources)
CONCUR 2009 - concurrency theory20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings /
by:
(1998 :); Bravetti, Mario.; SpringerLink (Online service); Zavattaro, Gianluigi.
(Electronic resources)
Subjects
Web services
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Telecommunication systems
Mathematics of Computing.
Computer systems
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Formal methods (Computer science)
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Computer multitasking
Models and Principles.
Information Systems Applications (incl.Internet)
Computer Science.
Computer Communication Networks.
Computers and Society.
System Performance and Evaluation.
Parallel processing (Electronic computers)