مؤتمر
Verification of UML-based real-time system designs by means of cTLA
| العنوان: | Verification of UML-based real-time system designs by means of cTLA |
|---|---|
| المؤلفون: | Graw, G., Herrmann, P., Krumm, H. |
| المصدر: | Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) Object-oriented real-time distributed computing Object-Oriented Real-Time Distributed Computing, 2000. (ISORC 2000) Proceedings. Third IEEE International Symposium on. :86-95 2000 |
| Relation: | Proceedings Third IEEE International Symposium on Object- Oriented Real-Time Distributed Computing (ISORC 2000) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0769506070 9780769506074 |
|---|---|
| DOI: | 10.1109/ISORC.2000.839515 |