Nothing Special   »   [go: up one dir, main page]
Tez No İndirme Tez Künye Durumu
403374
Formal notions of non-interference and liveness for distributed systems /
Yazar:GÖRKEM KILINÇ
Danışman: Prof. LUCIA POMELLO ; Dr. LUCA BERNARDINELLO
Yer Bilgisi: Università degli Studi di Milano-Bicocca (University of Milano-Bicocca) / Yurtdışı Enstitü
Konu:Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol = Computer Engineering and Computer Science and Control
Dizin: 		Onaylandı
Doktora
İngilizce
2016
117 s.