Huu Nghia (hữu Nghĩa) Nguyễn, Pascal Poizat, Fatiha Zaïdi. Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing.
9th International Symposium on High-Assurance Systems Engineering (HASE), Oct 2012, Omaha, United States.
⟨10.1109/HASE.2012.15⟩.
⟨hal-01367296⟩