|
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 | Abstract categorical semantics for resourceful functional reactive programming |
Jeltsch, Wolfgang |
2016 |
85 | 6 |
p. 1177-1200 24 p. |
artikel |
|
| 2 | Contents |
2016 |
85 | 6 |
p. v- 1 p. |
artikel |
||
| 3 | Editorial Board |
2016 |
85 | 6 |
p. IFC- 1 p. |
artikel |
||
| 4 | Effect-polymorphic behaviour inference for deadlock checking |
Pun, Ka I |
2016 |
85 | 6 |
p. 1234-1267 34 p. |
artikel |
|
| 5 | Guest editors' foreword |
Uustalu, Tarmo |
2016 |
85 | 6 |
p. 1109- 1 p. |
artikel |
|
| 6 | Input–output conformance testing for software product lines |
Beohar, Harsh |
2016 |
85 | 6 |
p. 1131-1153 23 p. |
artikel |
|
| 7 | LCTD: Test-guided proofs for C programs on LLVM |
Saarikivi, Olli |
2016 |
85 | 6 |
p. 1292-1317 26 p. |
artikel |
|
| 8 | Reduction of event structures under history preserving bisimulation |
Armas-Cervantes, Abel |
2016 |
85 | 6 |
p. 1110-1130 21 p. |
artikel |
|
| 9 | Structural congruence for bialgebraic semantics |
Rot, Jurriaan |
2016 |
85 | 6 |
p. 1268-1291 24 p. |
artikel |
|
| 10 | ST-structures |
Johansen, Christian |
2016 |
85 | 6 |
p. 1201-1233 33 p. |
artikel |
|
| 11 | Trustworthy variant derivation with translation validation for safety critical product lines |
Iosif-Lazăr, Alexandru F. |
2016 |
85 | 6 |
p. 1154-1176 23 p. |
artikel |
11 gevonden resultaten