18th IEEE International High-Level Design Validation and Test Workshop (HLDVT) 2016
Event name
18th IEEE International High-Level Design Validation and Test Workshop (HLDVT) 2016
Start date
07-10-2016
End date
08-10-2016
Location
Santa Cruz, California, U.S.A.
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Islam, Md. Ariful ; Wang, Qinsi ; Hasani, Ramin M. ; Balun, Ondrej ; Clarke, Edmund M. ; Grosu, Radu ; Smolka, Scott A. | Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans | Konferenzbeitrag Inproceedings  | 2016 |