Leveraging Applications of Formal Methods, Verification, and Validation – 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part IIсборник

Статьи, опубликованные в сборнике

---

• 
  • 2010 Covering arrays generation methods survey
  • Victor Kuliamin, Petukhov Alexander
  • в сборнике Leveraging Applications of Formal Methods, Verification, and Validation – 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, серия Lecture Notes in Computer Science, место издания Springer Berlin, Germany, том 6416, с. 382-396