Titel

Merkliste
1 Ergebnisse

Analysis and applications of timed service protocols:

Ponge, Julien ; Benatallah, Boualem ; Casati, Fabio.
ACM Transactions on Software Engineering and Methodology (TOSEM). 19 (2010) 4 - p. 1-38 , 2010

Link: https://dl.acm.org/doi/10.1145/1734229.1734230

RT Journal
T1 <Title>Analysis and applications of timed service protocols</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1734230&Exemplar=1&LAN=DE
				
A1 Ponge, Julien
A1 Benatallah, Boualem
A1 Casati, Fabio
A1 Toumani, Farouk
PB ACM
YR 2010
SN 1049-331X
SN 1557-7392
K1 Web services
K1 compatiblity and replaceability analysis
K1 timed automata
K1 timed business protocols
K1 Software and its engineering
K1 Software creation and management
K1 Designing software
K1 Software development process management
K1 Software development methods
K1 Software implementation planning
K1 Software design techniques
K1 Software verification and validation
K1 Formal software verification
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
JF ACM Transactions on Software Engineering and Methodology (TOSEM)
VO 19
IS 4
SP 1
OP 38
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1734229.1734230
DO https://dl.acm.org/doi/10.1145/1734229.1734230
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)