Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
TRÌNH ĐƠN CHÍNH
Trang Chủ
Giới thiệu
Chức năng nhiệm vụ
Nhân sự
Thời gian làm việc
Giới thiệu chung
Sơ đồ Thư viện
Tra cứu
Tìm lướt
Tìm Từ khóa
Tìm Chuyên gia
Tìm Toàn văn
Tra cứu liên thư viện
Tài Liệu Mới
Cơ sở dữ liệu mở
Tạp chí
Người dùng
Hướng dẫn (Video)
Hướng dẫn sử dụng
Gửi yêu cầu
Nội quy - Chính sách
Diễn Đàn
Gửi yêu cầu
DỊCH VỤ THƯ VIỆN
Đơn đặt phòng
Đặt phòng học nhóm
Dịch vụ miễn phí
Cung cấp tài liệu học tập
Dịch vụ in ấn
Đăng nhập
EJournal-Article Quick Search Box
Nhan đề
Tác giả
Chủ đề
Điểm truy cập chính
Tóm tắt
Mọi trường
Toàn văn
EJournal-Journal Issue Info
International journal on software tools for technology transfer : STTT, Tập 16, Số 2, 2014
Mục lục:
STT
Nội dung
1
Developments in automated verification techniques / Cormac Flanagan, Barbara König
2
Bounded phase analysis of message-passing programs / Ahmed Bouajjani, Michael Emmi
3
Pushdown model checking for malware detection / Fu Song, Tayssir Touili
4
A bit too precise? Verification of quantized digital filters / Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang
5
Closed-loop verification of medical devices with model abstraction and refinement / Zhihao Jiang and others