مؤتمر
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 |
ردمك: | 0769506070 9780769506074 |
---|---|
DOI: | 10.1109/ISORC.2000.839515 |