Rekommenderade teman
Rekommenderade teman
Integrated circuits,Electronic circuits
1
Integrated circuits,Formal methods (Computer science),Mạch tích hợp,Phương pháp hình thức (Khoa học máy tính),Systems on a chip,Hệ thống trên một chip
1
Real-time data processing,Computer software,Formal methods (Computer science),Xử lý dữ liệu tại chỗ,Phần mềm máy tính,Phương pháp chính ( khoa học vi tính )
1
Verification,Mã xác nhận,Testing,Thử nghiệm
1
Verification,Testing
1
Verification,Xác minh
1
1
av Perry, Douglas L.
Publicerad 2005
Publicerad 2005
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ
2
3
Ämnen:
“...Formal verification...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
4
av Fujita, Masahiro
Publicerad 2008
Publicerad 2008
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ
5
Publicerad 2008
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ
6
“... to discussing efficiency of assertion forms in
simulation and formal verification. We did our best to validate...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Hämta fulltext
7
av Popovic, Miroslav
Publicerad 2009
Publicerad 2009
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Hämta fulltext