Hierarchical approach to test generation for digital systems at system, circuit and defect levelsUbar, Raimund-Johannes45. Internationales Wissenschaftliches Kolloquium, 04.-06.10.2000 : Tagungsband2000 / S. 711-716 : Ill

Interactive teaching software "Introduction to digital test"Ubar, Raimund-Johannes; Wuttke, Heinz-Dietrich; Orasson, Elmet45. Internationales Wissenschaftliches Kolloquium, 04.-06.10.2000 : Tagungsband2000 / S. 949-954

Java-based system for finite state machine decompositionSudnitsõn, Aleksander; Levenko, Aleksei; Andreev, Dmitri45. Internationales Wissenschaftliches Kolloquium, 04.-06.10.2000 : Tagungsband2000 / S. 961-965 : Ill

Partition search problem for finite state machine decompositionSudnitsõn, Aleksander45. Internationales Wissenschaftliches Kolloquium, 04.-06.10.2000 : Tagungsband2000 / S. 673-678 : Ill