rrlig028

Roland Groz, Keqin Li, Alexandre Petrenko. Verification of Modular Systems with Unknown Components Combining Testing and Inference. Research Report LIG, No 28, 2013.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Contact

Roland Groz
Keqin Li

BibTex Reference

@TechReport{rrlig028,
   Author = {Groz, Roland and Li, Keqin and Petrenko, Alexandre},
   Title = {{V}erification of {M}odular {S}ystems with {U}nknown {C}omponents {C}ombining {T}esting and {I}nference},
   Number = {28},
   Series = {Les rapports de recherche du LIG},
   Institution = {{LIG}},
   Address = {Grenoble, France},
   Year = {2013}
}

EndNote Reference [help]

Get EndNote Reference (.ref)