مؤتمر
Validating Real-time Systems By History-checking TRIO Specifications
| العنوان: | Validating Real-time Systems By History-checking TRIO Specifications |
|---|---|
| المؤلفون: | Felder, M., Morzenti, A. |
| المصدر: | International Conference on Software Engineering Software Engineering, 1992. International Conference on. :199-211 1992 |
| Relation: | International Conference on Software Engineering |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0897915046 9780897915045 |
|---|---|
| تدمد: | 02705257 |
| DOI: | 10.1145/143062.143115 |