Collaborated with:
K.Selyunin S.Jaksic C.Reidl U.Hafner E.Bartocci D.Nickovic R.Grosu
Talks about:
recoveri (1) protocol (1) communic (1) monitor (1) runtim (1) sent (1)
Person: Thang Nguyen
DBLP: Nguyen:Thang
Contributed to:
Wrote 1 papers:
- CAV-2017-SelyuninJNRHBNG #communication #monitoring #protocol #runtime
- Runtime Monitoring with Recovery of the SENT Communication Protocol (KS, SJ, TN, CR, UH, EB, DN, RG), pp. 336–355.