Online verification of value-passing choreographies through property-oriented passive testing

HN Nguyen, P Poizat, F Zaïdi - 2012 IEEE 14th International …, 2012 - ieeexplore.ieee.org
Choreography supports the specification, with a global perspective, of the interactions
between roles played by peers in a collaboration. Choreography conformance testing aims …
被引用次数：18 相关文章
[PDF] psu.edu

[PDF][PDF] Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

HN Nguyen, P Poizat, F Zaıdi - Citeseer
Choreography supports the specification, with a global perspective, of the interactions
between roles played by peers in a collaboration. Choreography conformance testing aims …

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

HN Nguyen, P Poizat, F Zaidi - 2012 IEEE 14th International Symposium on High … - infona.pl
Choreography supports the specification, with a global perspective, of the interactions
between roles played by peers in a collaboration. Choreography conformance testing aims …

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

HN Nguyen, P Poizat, F Zaïdi - Proceedings of the 2012 IEEE 14th …, 2012 - dl.acm.org
Choreography supports the specification, with a global perspective, of the interactions
between roles played by peers in a collaboration. Choreography conformance testing aims …
[PDF] hal.science

[PDF][PDF] Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

HN Nguyen, P Poizat, F Zaıdi - inria.hal.science
Choreography supports the specification, with a global perspective, of the interactions
between roles played by peers in a collaboration. Choreography conformance testing aims …

[引用][C] Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

HN Nguyen, P Poizat, F Zaidi - 2012 IEEE 14th International Symposium …, 2012 - cir.nii.ac.jp
Online Verification of Value-Passing Choreographies through Property-Oriented Passive
Testing | CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索 …

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

HN Nguyen, P Poizat, F Zaıdi - lip6.fr
Choreography supports the specification, with a global perspective, of the interactions
between roles played by peers in a collaboration. Choreography conformance testing aims …
[PDF] lip6.fr

[PDF][PDF] Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

HN Nguyen, P Poizat, F Zaıdi - pages.lip6.fr
Choreography supports the specification, with a global perspective, of the interactions
between roles played by peers in a collaboration. Choreography conformance testing aims …