Öğreti̇m Elemanı | Bi̇lgi̇sayar Mühendi̇sli̇ği̇ Bölmü
Akademik Makaleler
Using timed CSP for specification verification and simulation of multimedia synchronization
Test sequence generation and timed testing