Techniques for runtime monitoring and static verification of concurrent software Koşut-zamanlı yazılımlar için çalışma-zamanı izleme ve durağan doğrulama teknikleri
Doktora
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol = Computer Engineering and Computer Science and Control