|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A logic of behaviour in context |
Banks, C.J. |
2014 |
236 | C |
p. 3-18 16 p. |
article |
|
| 2 | Cancer hybrid automata: Model, beliefs and therapy |
Olde Loohuis, Loes |
2014 |
236 | C |
p. 68-86 19 p. |
article |
|
| 3 | Dynamical properties of a two-gene network with hysteresis |
Shu, Qin |
2014 |
236 | C |
p. 102-121 20 p. |
article |
|
| 4 | Editorial Board |
2014 |
236 | C |
p. i- 1 p. |
article |
||
| 5 | Editorial Board |
2014 |
236 | C |
p. IFC- 1 p. |
article |
||
| 6 | Hybrid semantics for Bio-PEPA |
Galpin, Vashti |
2014 |
236 | C |
p. 122-145 24 p. |
article |
|
| 7 | Hybrid Systems and Biology |
Bartocci, Ezio |
2014 |
236 | C |
p. 1-2 2 p. |
article |
|
| 8 | Quantitative verification of implantable cardiac pacemakers over hybrid heart models |
Chen, Taolue |
2014 |
236 | C |
p. 87-101 15 p. |
article |
|
| 9 | ϵ-Semantics computations on biological systems |
Casagrande, A. |
2014 |
236 | C |
p. 35-51 17 p. |
article |
|
| 10 | STL⁎: Extending signal temporal logic with signal-value freezing operator |
Brim, L. |
2014 |
236 | C |
p. 52-67 16 p. |
article |
|
| 11 | Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays |
Caravagna, Giulio |
2014 |
236 | C |
p. 19-34 16 p. |
article |
11 results found