|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An elementary theory of product-line variations |
Sampath, Prahladavaradan |
2013 |
26 | 4 |
p. 695-727 |
artikel |
|
| 2 | Assume-guarantee synthesis for digital contract signing |
Chatterjee, Krishnendu |
2013 |
26 | 4 |
p. 825-859 |
artikel |
|
| 3 | Compensation by design |
Liu, Xi |
2013 |
26 | 4 |
p. 623-676 |
artikel |
|
| 4 | Formal verification of a pervasive messaging system |
Konur, Savas |
2013 |
26 | 4 |
p. 677-694 |
artikel |
|
| 5 | Test-data generation for control coverage by proof |
Cavalcanti, Ana |
2013 |
26 | 4 |
p. 795-823 |
artikel |
|
| 6 | Towards verification of computation orchestration |
Dong, Jin Song |
2013 |
26 | 4 |
p. 729-759 |
artikel |
|
| 7 | Verifying traits: an incremental proof system for fine-grained reuse |
Damiani, Ferruccio |
2013 |
26 | 4 |
p. 761-793 |
artikel |
7 gevonden resultaten