0317131 - ÚI 2009 RIV US eng C - Conference Paper (international conference)
Parízek, P. - Adámek, Jiří
Checking Session-Oriented Interactions between Web Services.
[Ověřování relačně-omezené komunikace mezi webovými službami.]
34th Euromicro Conference Software Engineering and Advanced Applications. Los Alamitos: IEEE Computer Society, 2008, s. 3-10. ISBN 978-0-7695-3276-9.
[SEAA 2008. EUROMICRO Conference on Software Engineering and Advanced Applications /34./. Parma (IT), 03.09.2008-05.09.2008]
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : web services * BPEL * session-oriented interactions * behavior protocols * model checking
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0166858
Parízek, P. - Adámek, Jiří
Checking Session-Oriented Interactions between Web Services.
[Ověřování relačně-omezené komunikace mezi webovými službami.]
34th Euromicro Conference Software Engineering and Advanced Applications. Los Alamitos: IEEE Computer Society, 2008, s. 3-10. ISBN 978-0-7695-3276-9.
[SEAA 2008. EUROMICRO Conference on Software Engineering and Advanced Applications /34./. Parma (IT), 03.09.2008-05.09.2008]
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : web services * BPEL * session-oriented interactions * behavior protocols * model checking
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0166858