[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing
Nguyen, Huu Nghia, Poizat, Pascal, Zaidi, FatihaYear:
2012
Language:
english
DOI:
10.1109/hase.2012.15
File:
PDF, 324 KB
english, 2012