مؤتمر
Animating safety-critical automation logic and intent: a candidate design
العنوان: | Animating safety-critical automation logic and intent: a candidate design |
---|---|
المؤلفون: | Bachelder, E., Leveson, N. |
المصدر: | Proceedings. The 21st Digital Avionics Systems Conference Digital avionics systems Digital Avionics Systems Conference, 2002. Proceedings. The 21st. 2:7B1-7B1 2002 |
Relation: | 21st Digital Avionics Systems Conference. Proceedings |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 0780373677 9780780373679 |
---|---|
DOI: | 10.1109/DASC.2002.1052918 |