Integrating Uml Activity Diagrams with Temporal Logic Expressions

AuthID
P-008-DQ5
2
Author(s)
Tipo de Documento
Proceedings Paper
Year published
2005
Publicado
in CEUR Workshop Proceedings, ISSN: 1613-0073
Volume: 363, Páginas: 91-98
Conference
10Th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, Emmsad 2005 - Held in Conjunction with the 17Th Conference on Advanced Information Systems, Caise 2005, Date: 13 June 2005 through 14 June 2005, Location: Porto, Patrocinadores: Conference on Advanced Information Systems Engineering (CAiSE);International Federation for Information;Processing Working Group 8.1 (IFIP WG 8.1);Network of Excellence for Interoperability Research;for Networked Enterprises Applications and Software (INTEROP)
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-84883486719
Source Identifiers
ISSN: 1613-0073
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.