|
|
|
|
| LEADER |
01581nz a2200301n 4500 |
| 001 |
ntk20201066571 |
| 003 |
CZ PrNK |
| 005 |
20201208092937.0 |
| 008 |
200218|n|aznnnaabn n a|a |
| 040 |
|
|
|a ABA013
|b cze
|d ABA001
|e rda
|
| 046 |
|
|
|f 1963
|
| 100 |
1 |
|
|a Wang, Jiacun,
|d 1963-
|7 ntk20201066571
|
| 368 |
|
|
|d Ph.D.
|s 1991
|
| 370 |
|
|
|c Čína
|c Spojené státy americké
|
| 372 |
|
|
|a softwarové inženýrství
|a řídicí systémy
|a distribuované řídicí systémy
|a řízení v reálném čase
|
| 373 |
|
|
|a Monmouth University (West Long Branch, N.J.)
|2 LC (Names)
|
| 374 |
|
|
|a inženýři
|a počítačoví vědci
|a vysokoškolští učitelé
|
| 375 |
|
|
|a muž
|
| 377 |
|
|
|a eng
|
| 400 |
1 |
|
|a Wang, Chia-ts'un,
|d 1963-
|0 o
|
| 670 |
|
|
|a Wang, Jiacun - Tepfenhart, William M.: Formal methods in computer science. c2020
|b afiliace, profesní údaje
|
| 670 |
|
|
|a LC (Names), cit. 18. 2. 2020
|b autoritní forma, odkaz viz, datum narození
|
| 670 |
|
|
|a www(Monmouth University), cit. 18. 2. 2020
|b biografické a profesní údaje
|
| 678 |
0 |
|
|a Počítačový vědec, vysokoškolský pedagog a výzkumný pracovník v oblasti softwarového inženýrství a řídicích systémů. Zaměřuje se na distribuované řídicí systémy, systémy pracující v reálném čase a formální metody. Ve výzkumu se zabývá modelováním a analýzou systémů řízení havarijních situací. Publikace v oboru.
|
| 906 |
|
|
|a za20200218
|b pavk
|
| 906 |
|
|
|a ko20200219
|b msis
|
| 906 |
|
|
|a vr20201208
|b adpi
|
| 998 |
|
|
|a http://aleph.nkp.cz/F/?func=direct&doc_number=001066571&local_base=AUT
|
