|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A logic of behaviour in context |
Banks, C.J. |
2014 |
236 | C |
p. 3-18 16 p. |
artikel |
|
| 2 | Cancer hybrid automata: Model, beliefs and therapy |
Olde Loohuis, Loes |
2014 |
236 | C |
p. 68-86 19 p. |
artikel |
|
| 3 | Dynamical properties of a two-gene network with hysteresis |
Shu, Qin |
2014 |
236 | C |
p. 102-121 20 p. |
artikel |
|
| 4 | Editorial Board |
2014 |
236 | C |
p. i- 1 p. |
artikel |
||
| 5 | Editorial Board |
2014 |
236 | C |
p. IFC- 1 p. |
artikel |
||
| 6 | Hybrid semantics for Bio-PEPA |
Galpin, Vashti |
2014 |
236 | C |
p. 122-145 24 p. |
artikel |
|
| 7 | Hybrid Systems and Biology |
Bartocci, Ezio |
2014 |
236 | C |
p. 1-2 2 p. |
artikel |
|
| 8 | Quantitative verification of implantable cardiac pacemakers over hybrid heart models |
Chen, Taolue |
2014 |
236 | C |
p. 87-101 15 p. |
artikel |
|
| 9 | ϵ-Semantics computations on biological systems |
Casagrande, A. |
2014 |
236 | C |
p. 35-51 17 p. |
artikel |
|
| 10 | STL⁎: Extending signal temporal logic with signal-value freezing operator |
Brim, L. |
2014 |
236 | C |
p. 52-67 16 p. |
artikel |
|
| 11 | Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays |
Caravagna, Giulio |
2014 |
236 | C |
p. 19-34 16 p. |
artikel |
11 gevonden resultaten