Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Publikace dané osoby
Mitra, Sayan
Biografické údaje:
Vysokoškolský pedagog a odborník v oblasti počítačové vědy a elektrotechniky, specializuje se na bezpečnou autonomii, distribuované systémy, programovací jazyky a robotiku. Publikace v oboru.
Zdroj:
Mitra, Sayan: Verifying cyber-physical systems, c2021
LC (Names), cit. 31. 3. 2022
www(University of Illinois at Urbana-Champaign), cit. 31. 3. 2022
Další informace:
Publikace dané osoby
1
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
Verifying cyber-physical systems : a path to safe autonomy
Publikace dané osoby
×
Načítá se...