|
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 dynamic deontic logic for complex contracts |
Prisacariu, Cristian |
2012 |
81 | 4 |
p. 458-490 33 p. |
artikel |
|
| 2 | A formal approach to the specification and transformation of constraints in MDE |
Rutle, Adrian |
2012 |
81 | 4 |
p. 422-457 36 p. |
artikel |
|
| 3 | A relational realizability model for higher-order stateful ADTs |
Birkedal, Lars |
2012 |
81 | 4 |
p. 491-521 31 p. |
artikel |
|
| 4 | Automated debugging based on a constraint model of the program and a test case |
Wotawa, Franz |
2012 |
81 | 4 |
p. 390-407 18 p. |
artikel |
|
| 5 | Contents |
2012 |
81 | 4 |
p. v- 1 p. |
artikel |
||
| 6 | Editorial Board |
2012 |
81 | 4 |
p. IFC- 1 p. |
artikel |
||
| 7 | Guest Editor’s foreword |
Hansen, Michael R. |
2012 |
81 | 4 |
p. 355- 1 p. |
artikel |
|
| 8 | Modal transition systems with weight intervals |
Juhl, Line |
2012 |
81 | 4 |
p. 408-421 14 p. |
artikel |
|
| 9 | Static Analysis of IMC |
Skrypnyuk, Nataliya |
2012 |
81 | 4 |
p. 522-540 19 p. |
artikel |
|
| 10 | Termination detection for active objects |
de Boer, Frank S. |
2012 |
81 | 4 |
p. 541-557 17 p. |
artikel |
|
| 11 | Three-valued abstraction for probabilistic systems |
Katoen, Joost-Pieter |
2012 |
81 | 4 |
p. 356-389 34 p. |
artikel |
11 gevonden resultaten