مؤتمر
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 |
Full Text Finder | ردمك: | 0780373677 9780780373679 |
|---|---|
| DOI: | 10.1109/DASC.2002.1052918 |