|
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 rigorous approach for constructing self-evolving real-time reactive systems |
Alagar, V.S |
2003 |
45 | 11 |
p. 743-761 19 p. |
artikel |
|
| 2 | Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols |
Mullins, John |
2003 |
45 | 11 |
p. 779-790 12 p. |
artikel |
|
| 3 | Consolidating and applying the SDL-pattern approach: a detailed case study |
Gotzhein, Reinhard |
2003 |
45 | 11 |
p. 727-741 15 p. |
artikel |
|
| 4 | Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol |
Hélouët, Loı̈c |
2003 |
45 | 11 |
p. 701-714 14 p. |
artikel |
|
| 5 | Editorial Board |
2003 |
45 | 11 |
p. IFC- 1 p. |
artikel |
||
| 6 | Formal verification and validation for e-commerce: theory and best practices |
Probert, Robert L |
2003 |
45 | 11 |
p. 763-777 15 p. |
artikel |
|
| 7 | Implicit integration of scenarios into a reduced timed automaton |
Salah, A. |
2003 |
45 | 11 |
p. 715-725 11 p. |
artikel |
|
| 8 | Preface |
Dssouli, Rachida |
2003 |
45 | 11 |
p. 699- 1 p. |
artikel |
8 gevonden resultaten