FIT-Conference Hub

FIT-Conference Hub

Thông báo

Không có thông báo mới.

Bắt đầu:

Kết thúc:

?Ngày nộp bài:

Xếp hạng:

Nguồn:

Nhà xuất bản:

Chủ đề:

Rigorous State Based Methods

Lĩnh vực nghiên cứu:

Kết quả hội nghị (1)

Sắp xếp theo:

Sự kiện mỗi trang:

International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)

Rank: COffline

Düsseldorf, Germany

Jun 11, 2025 - Jun 13, 2025

Rigorous State Based Methods Abstract State Machines Alloy+5 thêm