|
|
|
|
| LEADER |
00964naa a2200265 i 4500 |
| 001 |
NSK01001114203 |
| 003 |
HR-ZaNSK |
| 005 |
20211006093246.0 |
| 007 |
ta |
| 008 |
211006s2019 ci | |0|| ||hrv |
| 035 |
|
|
|a (HR-ZaNSK)001114203
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 042 |
|
|
|a croatica
|
| 044 |
|
|
|a ci
|c hr
|
| 080 |
1 |
|
|a 004
|2 2011
|
| 100 |
1 |
|
|a Zahid, Soufiane
|4 aut
|9 HR-ZaNSK
|
| 245 |
1 |
0 |
|a Practical model checking of a home area network system :
|b case study /
|c Soufiane Zahid, Abdeslam En-Nouaary, Slimane Bah.
|
| 504 |
|
|
|a Bibliografija: 42 jed.
|
| 653 |
|
0 |
|a Smart Grids
|a Inteligentne mreže
|a Formalno modeliranje
|
| 700 |
1 |
|
|a En-Nouaary, Abdeslam
|4 aut
|
| 700 |
1 |
|
|a Bah, Slimane
|4 aut
|9 HR-ZaNSK
|
| 773 |
0 |
|
|t CIT. Journal of computing and information technology
|x 1330-1136
|g 27 (2019), 2 ; str. 1-16
|w nsk.(HR-ZaNSK)000018028
|
| 981 |
|
|
|b B06/19
|
| 998 |
|
|
|b migo2110
|
| 856 |
4 |
1 |
|u https://hrcak.srce.hr/228262
|y Elektronička verzija članka
|