Publicações

A Use-Case Driven Approach to Formal Service-Oriented Modelling

AuthID
P-005-6J5

Author(s)

Bocchi, L

Fiadeiro, JL

Lopes, A

Editor(es)

Margaria, T; Steffen, B

Tipo de Documento

Proceedings Paper

Year published

2008

Publicado

in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS in COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, ISSN: 1865-0929

Volume: 17, Páginas: 155-169 (15)

Conference

3Rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Date: OCT 13-15, 2008, Location: Porto Sani, GREECE, Patrocinadores: European Assoc Software Sci & Technol, FOKUS, TU Dortmund, Univ Potsdam

Indexing