"Model checking" trang 1 - tải miễn phí từ tailieunhanh
Model checking early requirements specifications in alloy

Model checking early requirements specifications in alloy
13    104    0
Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties

Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties
16    91    2
Parallelizing random-walk based model checking

Parallelizing random-walk based model checking
11    58    0
Tóm tắt Luận án Tiến sĩ: Kiểm chứng hình thức các hệ thống thời gian thực hướng thành phần bằng kĩ thuật Model-Checking

Tóm tắt Luận án Tiến sĩ: Kiểm chứng hình thức các hệ thống thời gian thực hướng thành phần bằng kĩ thuật Model-Checking
27    56    1
Checking the conformability in CORBA component model specifications

Checking the conformability in CORBA component model specifications
11    69    0
Báo cáo

Báo cáo " Checking the conformability in CORBA component model specifications "
11    66    0
SAP2000 represents the most sophisticated and user-friendly release of the SAP series of computer programs. When initially released in 1996, SAP2000 was the first version of SAP to be completely integrated within Microsoft Windows. It features a powerful graphical user interface that is unmatched in terms of ease-of-use and productivity. Creation and modification of the model, execution of the analysis, and checking and optimization of the design, and production of the output are all accomplishe

SAP2000 represents the most sophisticated and user-friendly release of the SAP series of computer programs. When initially released in 1996, SAP2000 was the first version of SAP to be completely integrated within Microsoft Windows. It features a powerful graphical user interface that is unmatched in terms of ease-of-use and productivity. Creation and modification of the model, execution of the analysis, and checking and optimization of the design, and production of the output are all accomplishe
102    84    0
Introduction to Formal Methods

Introduction to Formal Methods
29    70    0
Evaluation of properties over phylogenetic trees using stochastic logics

Evaluation of properties over phylogenetic trees using stochastic logics
14    36    1
Dynamic epistemic reasoning with awareness and its legal application

Dynamic epistemic reasoning with awareness and its legal application
14    64    3
ModelExplorer - software for visual inspection and inconsistency correction of genome-scale metabolic reconstructions

ModelExplorer - software for visual inspection and inconsistency correction of genome-scale metabolic reconstructions
8    48    1