مؤتمر
An intent-specifications model for a robotic software control system
| العنوان: | An intent-specifications model for a robotic software control system |
|---|---|
| المؤلفون: | Navarro, I., Lundqvist, K., Leveson, N. |
| المصدر: | 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219) Digital avionics Digital Avionics Systems, 2001. DASC. 20th Conference. 2:8E1/1-8E1/12 vol.2 2001 |
| Relation: | 20th DASC. 20th Digital Avionics Systems Conference. Proceedings |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0780370341 9780780370340 |
|---|---|
| DOI: | 10.1109/DASC.2001.964239 |