Formalna verifikacija sustava kao mrežna usluga
Sažetak na hrvatskom: Kroz rad dan je pregled cjelovitog procesa izrade mrežne usluge. Pokazan je proces izrade vlastitog web poslužitelja od temelja do mogućnosti razvoja web aplikacija i web usluga na istom poslužitelju. Rad započinje postavljanjem osnovnih komponenti potrebne programske potpore k...
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:45498/Similar |
|---|---|
| Glavni autor: | Juratovac, Miroslav (-) |
| Ostali autori: | Bogunović, Nikola (Thesis advisor) |
| Vrsta građe: | Drugo |
| Impresum: |
Zagreb,
M. Juratovac,
2014.
|
| Predmet: |
formalna verifikacija
> mrežna usluga
> web usluga
> web aplikacija
> PHP
> MySQL
> Apache
> Ubuntu
> REST
> OAuth
> VIS
> NuSMV
formal verification
> web service
> web application
> PHP
> MySQL
> Apache
> Ubuntu
> REST
> OAuth
> VIS
> NuSMV
|
APA stil citiranja
Juratovac, M., & Bogunović, N. (2014). Formalna verifikacija sustava kao mrežna usluga: Formalna verifikacija sustava kao mrežna usluga : diplomski rad. Zagreb: M. Juratovac.
Chicago stil citiranjaJuratovac, Miroslav, and Nikola Bogunović. Formalna verifikacija sustava kao mrežna usluga: Formalna verifikacija sustava kao mrežna usluga : diplomski rad. Zagreb: M. Juratovac, 2014.
MLA stil citiranjaJuratovac, Miroslav, and Nikola Bogunović. Formalna verifikacija sustava kao mrežna usluga: Formalna verifikacija sustava kao mrežna usluga : diplomski rad. Zagreb: M. Juratovac, 2014.