مؤتمر
Formal verification of structured analysis and design in HOS
| العنوان: | Formal verification of structured analysis and design in HOS |
|---|---|
| المؤلفون: | Chiang, C.-C., Lee, R. |
| المصدر: | Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05) Software Engineering Research, Management and Applications Software Engineering Research, Management and Applications, 2005. Third ACIS International Conference on. :282-287 2005 |
| Relation: | Proceedings. Third ACIS International Conference on Software Engineering Research, Management and Applications |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0769522971 9780769522975 |
|---|---|
| DOI: | 10.1109/SERA.2005.41 |