مؤتمر
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 |
ردمك: | 0769522971 9780769522975 |
---|---|
DOI: | 10.1109/SERA.2005.41 |