Duyệt

Hồ sơ tác giả

Topic

OER - Công nghệ thông tin

URL

Duyệt OER - Công nghệ thông tin theo Tác giả "Alexander Ivrii, Ofer Strichman"

Duyệt theo:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Hoặc nhập chữ cái đầu tiên:
Đang hiển thị 1 - 1 của tổng số 1 kết quả
Hiển thị
Hình ảnh thu nhỏ
Ấn phẩm
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

2020, Alexander Ivrii, Ofer Strichman

Hội nghị về các phương pháp hình thức trong thiết kế có sự hỗ trợ của máy tính (FMCAD) là hội nghị thường niên về lý thuyết và ứng dụng của các phương pháp hình thức trong xác minh phần cứng và hệ thống. FMCAD cung cấp một diễn đàn hàng đầu cho các nhà nghiên cứu trong giới học thuật và công nghiệp để trình bày và thảo luận về các phương pháp, công nghệ, kết quả lý thuyết và công cụ mang tính đột phá về các hệ thống máy tính. FMCAD bao gồm các khía cạnh chính thức của thiết kế hệ thống được máy tính hỗ trợ bao gồm xác minh, đặc tả, tổng hợp và thử nghiệm.