|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A model-driven method for describing and predicting the reliability of composite services |
Bocciarelli, Paolo |
2010 |
10 | 2 |
p. 265-280 |
artikel |
|
| 2 | An algebra of product families |
Höfner, Peter |
2009 |
10 | 2 |
p. 161-182 |
artikel |
|
| 3 | Büchi automata for modeling component connectors |
Izadi, Mohammad |
2010 |
10 | 2 |
p. 183-200 |
artikel |
|
| 4 | Formalizing requirements with object models and temporal constraints |
Cimatti, Alessandro |
2009 |
10 | 2 |
p. 147-160 |
artikel |
|
| 5 | Precise null-pointer analysis |
Spoto, Fausto |
2009 |
10 | 2 |
p. 219-252 |
artikel |
|
| 6 | Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008 |
Cerone, Antonio |
2010 |
10 | 2 |
p. 143-145 |
artikel |
|
| 7 | Testing timed systems modeled by Stream X-machines |
Merayo, Mercedes G. |
2009 |
10 | 2 |
p. 201-217 |
artikel |
|
| 8 | Verifying workflow processes: a transformation-based approach |
Zha, Haiping |
2010 |
10 | 2 |
p. 253-264 |
artikel |
8 gevonden resultaten