Contact
|
About
Home
Events
Link Collection
Home
Bibliographies and Surveys
Community Websites
Conferences and Workshops
People
Presentations and Tutorials
Publications
All
By Author
By Topic
By Type
By Year
Research Groups and Projects
Software, Products and Companies
Standards
Search Links:
Top
:
Publications
:
By Author
:
Pelliccione, P.
M. Caporuscio, P. Inverardi, and P. Pelliccione
Formal Analysis of Architectural Patterns.
. In F. Oquendo, B. Warboys, and R. Morrison, editors,
EWSA
, volume 3047 of
Lecture Notes in Computer Science
, pages 10‒24. Springer, 2004.
M. Caporuscio, P. Inverardi, and P. Pelliccione
Formal Analysis of Clients Mobility in the Siena Publish/Subscribe Middleware
. Technical report, Department of Computer Science, University of L'Aquila, Oct. 2002.