|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
18 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A dynamic deontic logic for complex contracts |
Prisacariu, Cristian |
2012 |
60-61 | 4 |
p. 458-490 33 p. |
artikel |
|
| 2 | A formal approach to the specification and transformation of constraints in MDE |
Rutle, Adrian |
2012 |
60-61 | 4 |
p. 422-457 36 p. |
artikel |
|
| 3 | A metamodel for the design of polychronous systems |
Brunette, Christian |
2009 |
60-61 | 4 |
p. 233-259 27 p. |
artikel |
|
| 4 | A relational realizability model for higher-order stateful ADTs |
Birkedal, Lars |
2012 |
60-61 | 4 |
p. 491-521 31 p. |
artikel |
|
| 5 | Assisting the design of a groupware system |
ter Beek, Maurice H. |
2009 |
60-61 | 4 |
p. 191-232 42 p. |
artikel |
|
| 6 | Automated debugging based on a constraint model of the program and a test case |
Wotawa, Franz |
2012 |
60-61 | 4 |
p. 390-407 18 p. |
artikel |
|
| 7 | Contents |
2009 |
60-61 | 4 |
p. v- 1 p. |
artikel |
||
| 8 | Contents |
2012 |
60-61 | 4 |
p. v- 1 p. |
artikel |
||
| 9 | Editorial Board |
2009 |
60-61 | 4 |
p. IFC- 1 p. |
artikel |
||
| 10 | Editorial Board |
2012 |
60-61 | 4 |
p. IFC- 1 p. |
artikel |
||
| 11 | Guest Editor’s foreword |
Hansen, Michael R. |
2012 |
60-61 | 4 |
p. 355- 1 p. |
artikel |
|
| 12 | Improving performance in flexible manufacturing systems |
Carmen Ruiz, M. |
2009 |
60-61 | 4 |
p. 260-273 14 p. |
artikel |
|
| 13 | Modal transition systems with weight intervals |
Juhl, Line |
2012 |
60-61 | 4 |
p. 408-421 14 p. |
artikel |
|
| 14 | Preface |
Aceto, Luca |
2009 |
60-61 | 4 |
p. vii-viii nvt p. |
artikel |
|
| 15 | Search algorithms for automated validation |
Engels, Tom A.N. |
2009 |
60-61 | 4 |
p. 274-287 14 p. |
artikel |
|
| 16 | Static Analysis of IMC |
Skrypnyuk, Nataliya |
2012 |
60-61 | 4 |
p. 522-540 19 p. |
artikel |
|
| 17 | Termination detection for active objects |
de Boer, Frank S. |
2012 |
60-61 | 4 |
p. 541-557 17 p. |
artikel |
|
| 18 | Three-valued abstraction for probabilistic systems |
Katoen, Joost-Pieter |
2012 |
60-61 | 4 |
p. 356-389 34 p. |
artikel |
18 gevonden resultaten