مؤتمر
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 |
ردمك: | 0780370341 9780780370340 |
---|---|
DOI: | 10.1109/DASC.2001.964239 |