Test selection for hierarchical and communicating finite state machines /
Đã lưu trong:
Tác giả chính: | |
---|---|
Định dạng: | Bài viết |
Ngôn ngữ: | English |
Những chủ đề: | |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
LEADER | 00785nam a2200265 4500 | ||
---|---|---|---|
001 | DLU090098559 | ||
005 | ##20091201 | ||
040 | # | # | |a DLU |b eng |
041 | # | # | |a eng |
044 | # | # | |a uk |
100 | # | # | |a Ipate, Florentin. |
245 | # | # | |a Test selection for hierarchical and communicating finite state machines / |c Florentin Ipate. |
653 | # | # | |a Finite state machines |
653 | # | # | |a Specification-based testing |
653 | # | # | |a Testing |
773 | # | # | |t The Computer Journal |g Vol. 52, no. 3 (April 2009), p. 334-347 |
920 | # | # | |a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt |
994 | # | # | |a DLU |
900 | # | # | |a True |
911 | # | # | |a Trương Bảo Trâm Anh |
925 | # | # | |a G |
926 | # | # | |a A |
927 | # | # | |a BB |
980 | # | # | |a Thư viện Trường Đại học Đà Lạt |