Ausgabe 3/2012
Inhalt (7 Artikel)
On deriving test suites for nondeterministic finite state machines with time-outs
N. V. Shabaldina, R. F. Galimullin
Experience of improving the blast static verification tool
P. E. Shved, V. S. Mutilin, M. U. Mandrykin