|
|
|
|
| LEADER |
01056nam a2200229uu 4500 |
| 005 |
20190516151152.0 |
| 008 |
s1999 ci a |||||||||| ||hrv|d |
| 035 |
|
|
|a HR-ZaFER 16015
|
| 040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|e ppiak
|
| 041 |
|
|
|a hrv
|
| 080 |
|
|
|a 621.39
|h ELEKTROTEHNIKA
|j TELEKOMUNIKACIJE. TELEUPRAVLJANJE (DALJINSKO)
|e 621.3
|9 1248
|
| 100 |
1 |
|
|9 17924
|a Ježić, Gordan
|
| 245 |
|
|
|a Provjera konkurentnih telekomunikacijskih sustava ispitivanjem modela :
|b magistarski rad /
|c Gordan Ježić ; [mentor Ignac Lovrek]
|
| 260 |
|
|
|a Zagreb :
|b G. Ježić ; Fakultet elektrotehnike i računarstva,
|c 1999.
|
| 300 |
|
|
|a 138 str. :
|b graf.prikazi ;
|c 30 cm.
|
| 504 |
|
|
|a Bibliografija str. 99-101.
|
| 520 |
|
|
|a Ključne riječi: ATM, formalna specifikacija, ispitivanje modela, konkurentnost, procesna algebra, telekomunikacijski sustavi
|
| 520 |
|
|
|a Keywords: ATM, formal specification, model checking, process
algebra, telecommunication systems, verification
|
| 700 |
|
|
|4 ths
|9 6356
|a Lovrek, Ignac
|
| 942 |
|
|
|c M
|2 udc
|
| 990 |
|
|
|a 15528
|
| 999 |
|
|
|c 14412
|d 14412
|