|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formal framework for service modeling and prototyping |
Riccobene, Elvinia |
2013 |
26 | 6 |
p. 1077-1113 |
artikel |
|
| 2 | A formalisation of deep metamodelling |
Rossini, Alessandro |
2014 |
26 | 6 |
p. 1115-1152 |
artikel |
|
| 3 | Analysing neurobiological models using communicating automata |
Su, Li |
2014 |
26 | 6 |
p. 1169-1204 |
artikel |
|
| 4 | Concerned with the unprivileged: user programs in kernel refinement |
Daum, Matthias |
2014 |
26 | 6 |
p. 1205-1229 |
artikel |
|
| 5 | Formal relational database design: an exercise in extending the formal template language |
Wu, Nicolas |
2014 |
26 | 6 |
p. 1231-1269 |
artikel |
|
| 6 | The relation between preset distinguishing sequences and synchronizing sequences |
Güniçen, Canan |
2014 |
26 | 6 |
p. 1153-1167 |
artikel |
6 gevonden resultaten