|
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 | Barrier synchronisation: Axiomatisation and relaxation |
Stewart, A. |
2004 |
16 | 1 |
p. 36-50 |
artikel |
|
| 2 | Disciplined, efficient, generalised folds for nested datatypes |
Martin, Clare |
2004 |
16 | 1 |
p. 19-35 |
artikel |
|
| 3 | Editorial |
Jones, Cliff |
2004 |
16 | 1 |
p. 1 |
artikel |
|
| 4 | ERC – An object-oriented refinement calculus for Eiffel |
Paige, Richard F. |
2004 |
16 | 1 |
p. 51-79 |
artikel |
|
| 5 | Formal Methods Europe Update |
Fitzgerald, John S. |
2004 |
16 | 1 |
p. 2-3 |
artikel |
|
| 6 | Integration of UML and VHDL-AMS for analogue system modelling |
Carr, C. T. |
2004 |
16 | 1 |
p. 80-94 |
artikel |
|
| 7 | Online First Publication |
Jones, C.B. |
2004 |
16 | 1 |
p. 4 |
artikel |
|
| 8 | Superposition: composition vs refinement of non-deterministic, action-based systems |
Lopes, Antónia |
2004 |
16 | 1 |
p. 5-18 |
artikel |
8 gevonden resultaten