|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Analyzing Chor Specifications by Translation into FSP |
Roohi, Nima |
2009 |
255 | C |
p. 159-176 18 p. |
artikel |
|
| 2 | Automated Analysis of Reo Circuits using Symbolic Execution |
Pourvatan, Bahman |
2009 |
255 | C |
p. 137-158 22 p. |
artikel |
|
| 3 | Checking Protocol Compatibility using Maude |
Durán, Francisco |
2009 |
255 | C |
p. 65-81 17 p. |
artikel |
|
| 4 | Connectors as Designs |
Meng, Sun |
2009 |
255 | C |
p. 119-135 17 p. |
artikel |
|
| 5 | Formalizing Adaptation On-the-Fly |
Andova, S. |
2009 |
255 | C |
p. 23-44 22 p. |
artikel |
|
| 6 | Functional Active Objects: Typing and Formalisation |
Henrio, Ludovic |
2009 |
255 | C |
p. 83-101 19 p. |
artikel |
|
| 7 | Implementation of an Orchestration Language as a Haskell Domain Specific Language |
Campos, Marco Devesas |
2009 |
255 | C |
p. 45-64 20 p. |
artikel |
|
| 8 | Model-checking Web Services Orchestrations using BP-calculus |
Abouzaid, Faisal |
2009 |
255 | C |
p. 3-21 19 p. |
artikel |
|
| 9 | Preface |
2009 |
255 | C |
p. 1-2 2 p. |
artikel |
||
| 10 | SAT-based Verification for Timed Component Connectors |
Kemper, Stephanie |
2009 |
255 | C |
p. 103-118 16 p. |
artikel |
10 gevonden resultaten