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://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:29717 |
|---|---|
| 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.
|