Verification of Modular Systems with Unknown Components Combining Testing and Inference. Groz, R., Li, K., & Petrenko, A. Technical Report RR-LIG-028, LIG, Grenoble, France, 2013. 00000
bibtex   
@techreport{ groz_verification_2013,
  address = {Grenoble, France},
  title = {Verification of {Modular} {Systems} with {Unknown} {Components} {Combining} {Testing} and {Inference}},
  number = {RR-LIG-028},
  institution = {LIG},
  author = {Groz, Roland and Li, Keqin and Petrenko, Alexandre},
  year = {2013},
  note = {00000}
}

Downloads: 0