Wang, Jiacun, 1963-
| Biografické údaje: | 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. |
|---|---|
| Alternativně jako: |
Wang, Chia-ts'un, 1963- |
| Zdroj: |
Wang, Jiacun - Tepfenhart, William M.: Formal methods in computer science. c2020 LC (Names), cit. 18. 2. 2020 www(Monmouth University), cit. 18. 2. 2020 |
| Další informace: |
  |