Seminář UPSY - J. Strnadel: TASTE (Testability Analysis SuiTE): knihovna C++ funkcí souvisejících s analýzou testovatelnosti datových cest číslicových obvodů - detail akce