Login / Signup
Javier Thaine
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Bayesian Model
Decision Trees
Consistency Checking
Dynamic Bayesian Networks
Top Venues
ICSE
</>
Publications
</>
Michael D. Ernst
,
Alberto Lovato
,
Damiano Macedonio
,
Fausto Spoto
,
Javier Thaine
Locking discipline inference and checking.
ICSE
(2016)