ŠAFRÁNEK, David. PC Member of HSB 2014. Third International Workshop on Hybrid Systems Biology (HSB 2014), 2014.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název PC Member of HSB 2014
Autoři ŠAFRÁNEK, David.
Vydání 2014.
Nakladatel Third International Workshop on Hybrid Systems Biology (HSB 2014)
Další údaje
Originální jazyk angličtina
Typ výsledku Členství ve věd. radách, odb. grémiích, expert. komisích apod.
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky hybrid systems; systems biology; formal methods
Příznaky Mezinárodní význam
Změnil Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 19. 10. 2015 12:49.
Anotace
HSB 2014 will be a two-day satellite workshop of CAV 2014, Conference on Computer-aided Verification, the 26th International which is part of the Vienna Summer of Logic.
VytisknoutZobrazeno: 26. 4. 2024 16:03