|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Automated verification of function block-based industrial control systems |
Völker, Norbert |
2002 |
42 | 1 |
p. 101-113 13 p. |
artikel |
|
| 2 | Automatic concurrency in SequenceL |
Cooke, Daniel E. |
2002 |
42 | 1 |
p. 115-128 14 p. |
artikel |
|
| 3 | Formal methods in practice |
Polak, Wolfgang |
2002 |
42 | 1 |
p. 75-85 11 p. |
artikel |
|
| 4 | Formal methods: the very idea |
Berry, Daniel M |
2002 |
42 | 1 |
p. 11-27 17 p. |
artikel |
|
| 5 | Generic tools for verifying concurrent systems |
Cleaveland, Rance |
2002 |
42 | 1 |
p. 39-47 9 p. |
artikel |
|
| 6 | Lightweight inference for automation efficiency |
Berzins, V |
2002 |
42 | 1 |
p. 61-74 14 p. |
artikel |
|
| 7 | On methodology of representing knowledge in dynamic domains |
Gelfond, Michael |
2002 |
42 | 1 |
p. 87-99 13 p. |
artikel |
|
| 8 | Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP |
Kwak, Hee-Hwan |
2002 |
42 | 1 |
p. 49-60 12 p. |
artikel |
|
| 9 | Pitfalls of formality in early system design |
Robertson, David |
2002 |
42 | 1 |
p. 29-38 10 p. |
artikel |
|
| 10 | Software engineering beyond our planning horizon: automation for computer-based systems |
Luqi, |
2002 |
42 | 1 |
p. 1-10 10 p. |
artikel |
10 gevonden resultaten