مؤتمر
Merlot: a tool for analysis of real-time specifications
| العنوان: | Merlot: a tool for analysis of real-time specifications |
|---|---|
| المؤلفون: | Bellettini, C., Felder, M., Pezze, M. |
| المصدر: | Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design Software specification and design Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on. :110-119 1993 |
| Relation: | Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0818643609 9780818643606 |
|---|---|
| DOI: | 10.1109/IWSSD.1993.315507 |