Вы здесь

Tai K. -C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Model Checking Based on Simultaneous Reachability Analysis 2000 Karacali B., Tai K. -C. Lecture Notes in Computer Science 26.09.2000
СТ Theory of Fault-Based Predicate Testing for Computer Programs 1996 Tai K. -C. IEEE Trans. on Software Engineering 07.12.1996
СТ A Specification-Based Methodology for Testing Concurrent Programs 1995 Tai K. -C., Carver K. H. Lecture Notes in Computer Science Software Engineering - ESEC 95 30.11.1995