====== Zkouška 19.1.2012 ====== ===== Priklady - Test #3===== * Ortogonální čtverce * Du cesty ===== Teorie - Test #19===== 1. Časový automat a jeho sémantika.\\ 2. Optimalizace testování metodou latinských čtverců.\\ 3. Z notace.\\ 4. Kritéria pokrytí. ~~DISCUSSION~~