Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima
Protokoli predstavljaju ključni dio raspodijeljenih računalnih sustava. Osnovna karakteristika raspodijeljenih sustava je konkurentno neterminirajuće izvršavanje. Rasuđivanje o takvim sustavima je teško već zbog očitog nedostatka intuitivne slike. Raspodijeljeni računalni sustavi sve više postaju sa...
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:29717/Similar |
|---|---|
| Glavni autor: | Pek, Edgar (-) |
| Ostali autori: | Bogunović, Nikola (Thesis advisor) |
| Vrsta građe: | Knjiga |
| Jezik: | hrv |
| Impresum: |
Zagreb :
E. Pek ; Fakultet elektrotehnike i računarstva,
2005.
|
APA stil citiranja
Pek, E., & Bogunović, N. (2005). Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima: Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima : magistarski rad. Zagreb: E. Pek ; Fakultet elektrotehnike i računarstva.
Chicago stil citiranjaPek, Edgar, and Nikola Bogunović. Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima: Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima : magistarski rad. Zagreb: E. Pek ; Fakultet elektrotehnike i računarstva, 2005.
MLA stil citiranjaPek, Edgar, and Nikola Bogunović. Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima: Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima : magistarski rad. Zagreb: E. Pek ; Fakultet elektrotehnike i računarstva, 2005.