发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Effiziente Erfüllbarkeitsalgorithmen für die Generierung von TestmusternEfficient Satisfiability Solving Algorithms for Test Pattern Generation

Effiziente Erfüllbarkeitsalgorithmen für die Generierung von TestmusternEfficient Satisfiability Solving Algorithms for Test Pattern Generation

Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Schlöffel, Jürgen; Tille, Daniel
  • 期刊名称it - Information Technology
  • 作者Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Schlöffel, Jürgen; Tille, Daniel
  • 卷第51卷
  • 期第2期
  • 印刷ISSN1611-2776
  • 文件大小317.13KB
  • 发表时间2009-01
  • DOI10.1524/itit.2009.0529
← 返回【学霸图书馆】主页