مؤتمر
Real-time system validation by model checking in TRIO
| العنوان: | Real-time system validation by model checking in TRIO |
|---|---|
| المؤلفون: | Felder, M., Morzenti, A.C. |
| المصدر: | Proceedings. EUROMICRO `91 Workshop on Real-Time Systems Real Time Systems, 1991. Proceedings., Euromicro '91 Workshop on. :20-28 1991 |
| Relation: | Proceedings. EUROMICRO `91 Workshop on Real-Time Systems |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0818622105 9780818622106 |
|---|---|
| DOI: | 10.1109/EMWRT.1991.144074 |