|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formal design language for real-time systems with data |
Bradley, Steven |
2001 |
40 | 1 |
p. 3-29 27 p. |
artikel |
|
| 2 | Fundamental Approaches to Software Engineering |
Astesiano, Egidio |
2001 |
40 | 1 |
p. 1-2 2 p. |
artikel |
|
| 3 | Incremental design of statechart specifications |
Scholz, Peter |
2001 |
40 | 1 |
p. 119-145 27 p. |
artikel |
|
| 4 | Model-checking CSP-Z: strategy, tool support and industrial application |
Mota, Alexandre |
2001 |
40 | 1 |
p. 59-96 38 p. |
artikel |
|
| 5 | Rule-based refinement of high-level nets preserving safety properties |
Padberg, J. |
2001 |
40 | 1 |
p. 97-118 22 p. |
artikel |
|
| 6 | Specifying embedded systems with statecharts and Z: an agenda for cyclic software components |
Grieskamp, Wolfgang |
2001 |
40 | 1 |
p. 31-57 27 p. |
artikel |
6 gevonden resultaten