مؤتمر
Feature-based decomposition of inductive proofs applied to real-time avionics software: an experience report
| العنوان: | Feature-based decomposition of inductive proofs applied to real-time avionics software: an experience report |
|---|---|
| المؤلفون: | Vu Ha, Rangarajan, M., Cofer, D., Rue, H., Duterte, B. |
| المصدر: | Proceedings. 26th International Conference on Software Engineering Software engineering Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on. :304-313 2004 |
| Relation: | Proceedings. 26th International Conference on Software Engineering |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0769521630 9780769521633 |
|---|---|
| تدمد: | 02705257 |
| DOI: | 10.1109/ICSE.2004.1317453 |