Model-based approaches for validating business critical systems

التفاصيل البيبلوغرافية
العنوان: Model-based approaches for validating business critical systems
المؤلفون: Augusto, J., Howard, Y., Gravell, A., Ferreira, C., Gruner, S., Leuschel, M.
المصدر: Eleventh Annual International Workshop on Software Technology and Engineering Practice Software technology and engineering practice Software Technology and Engineering Practice, 2003. Eleventh Annual International Workshop on. :225-233 2003
Relation: Proceedings. Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP 2003)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:0769522181
9780769522180
DOI:10.1109/STEP.2003.19