|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An update calculus for expressing type-safe program updates |
Erwig, Martin |
2007 |
67 | 2-3 |
p. 199-222 24 p. |
artikel |
|
| 2 | Author index of Volume 67 |
2007 |
67 | 2-3 |
p. 330-331 2 p. |
artikel |
||
| 3 | Editorial Board |
2007 |
67 | 2-3 |
p. IFC- 1 p. |
artikel |
||
| 4 | Engineering and theoretical underpinnings of retrenchment |
Banach, R. |
2007 |
67 | 2-3 |
p. 301-329 29 p. |
artikel |
|
| 5 | Formal semantics and analysis of control flow in WS-BPEL |
Ouyang, Chun |
2007 |
67 | 2-3 |
p. 162-198 37 p. |
artikel |
|
| 6 | Generalized structured programs and loop trees |
Maurer, Ward Douglas |
2007 |
67 | 2-3 |
p. 223-246 24 p. |
artikel |
|
| 7 | Quantifying the effects of IT-governance rules |
Verhoef, C. |
2007 |
67 | 2-3 |
p. 247-277 31 p. |
artikel |
|
| 8 | Reasoning about safety properties in a JVM-like environment |
Fong, Philip W.L. |
2007 |
67 | 2-3 |
p. 278-300 23 p. |
artikel |
|
| 9 | Using semi-formal methods for detecting interactions among smart homes policies |
Shehata, Mohamed |
2007 |
67 | 2-3 |
p. 125-161 37 p. |
artikel |
9 gevonden resultaten