|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
10 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Automated verification of function block-based industrial control systems |
Völker, Norbert |
2002 |
42 | 1 |
p. 101-113 13 p. |
article |
|
| 2 | Automatic concurrency in SequenceL |
Cooke, Daniel E. |
2002 |
42 | 1 |
p. 115-128 14 p. |
article |
|
| 3 | Formal methods in practice |
Polak, Wolfgang |
2002 |
42 | 1 |
p. 75-85 11 p. |
article |
|
| 4 | Formal methods: the very idea |
Berry, Daniel M |
2002 |
42 | 1 |
p. 11-27 17 p. |
article |
|
| 5 | Generic tools for verifying concurrent systems |
Cleaveland, Rance |
2002 |
42 | 1 |
p. 39-47 9 p. |
article |
|
| 6 | Lightweight inference for automation efficiency |
Berzins, V |
2002 |
42 | 1 |
p. 61-74 14 p. |
article |
|
| 7 | On methodology of representing knowledge in dynamic domains |
Gelfond, Michael |
2002 |
42 | 1 |
p. 87-99 13 p. |
article |
|
| 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. |
article |
|
| 9 | Pitfalls of formality in early system design |
Robertson, David |
2002 |
42 | 1 |
p. 29-38 10 p. |
article |
|
| 10 | Software engineering beyond our planning horizon: automation for computer-based systems |
Luqi, |
2002 |
42 | 1 |
p. 1-10 10 p. |
article |
10 results found