PC Member of HSB 2014

ŠAFRÁNEK, David. PC Member of HSB 2014. Third International Workshop on Hybrid Systems Biology (HSB 2014), 2014.

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

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í

Odkazy

URL

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

hybrid systems; systems biology; formal methods

Příznaky

Mezinárodní význam

---

Anotace

V originále

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.