Automated validation & verification of UML/OCL models using satisfiability solvers /Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
Lưu vào:
| Tác giả chính: | , , , |
|---|---|
| Đồng tác giả: | |
| Định dạng: | text |
| Ngôn ngữ: | eng |
| Thông tin xuất bản: |
Springer Science+Business Media,
|
| Chủ đề: | |
| Truy cập trực tuyến: | http://elib.ntt.edu.vn/documentdata01/2 tailieuthamkhao/anhbiasach/17229-automatedvalidation&thumbimage.jpg http://elib.ntt.edu.vn/Opac/DmdInfo.aspx?dmd_id=17299 |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|
