| |
| 1999 | ||
|---|---|---|
| 1 | EE | Konstantinos Kapellos, Daniel Simon, M. Jourdant, Bernard Espiau: Task level specification and formal verification of robotics control systems: state of the art and case study. Int. J. Systems Science 30(11): 1227-1245 (1999) |
| 1 | Bernard Espiau | [1] |
| 2 | Konstantinos Kapellos | [1] |
| 3 | Daniel Simon | [1] |