International Journal on Software Tools for Technology Transfer
SCIE-ISI SCOPUS (1997-2023)
1433-2787
1433-2779
Cơ quản chủ quản: Springer Verlag , Springer Heidelberg
Lĩnh vực:
Information SystemsSoftware
Các bài báo tiêu biểu
Probabilistic symbolic model checking with PRISM: a hybrid approach
Tập 6 Số 2 - Trang 128-142 - 2004
Directed explicit-state model checking in the validation of communication protocols
Tập 5 Số 2-3 - Trang 247-267 - 2004
Hệ thống thời gian thực = hệ thống rời rạc + biến đồng hồ Dịch bởi AI
Tập 1 - Trang 86-109 - 2014
Bài báo này giới thiệu một cách nhẹ nhàng nhưng nghiêm ngặt phương pháp đồng hồ trong lập trình thời gian thực. Chúng tôi trình bày với độ chính xác toán học, giả định không có yêu cầu tiên quyết nào ngoài sự quen thuộc với ký hiệu logic và lập trình, các khái niệm cần thiết để hiểu, viết và thực thi các chương trình đồng hồ. Để giữ gìn phong cách trình bày, tất cả các tài liệu tham khảo được tập ...... hiện toàn bộ