abstraction and refinement for large scale model checking
用户评论
推荐下载
-
Baier Katoen2008Principles of Model Checking.pdf
Thebookbeginswiththebasicprinciplesformodelingconcurrentandcommunicatingsystems,introducesdifferentc
17 2020-05-25 -
A Safety Analysis Method for Model Checking Based on Multiple Faults Injection
To ensure the full safety of safety-critical system, a safety analysis method for model checking bas
16 2021-02-07 -
A Model Checking Approach to Analyzing Timed Compatibility in Mediation aided Co
A Model Checking Approach to Analyzing Timed Compatibility in Mediation-aided Composition of Web Ser
9 2021-02-07 -
Model based incremental conformance checking to enable interactive product confi
Context: Model-based product line engineering (PLE) is a paradigm that can enable automated product
8 2021-04-26 -
Large scale synthesis of shuttle like CuO nanocrystals by microwave irradiation
微波辐照法大规模合成梭状氧化铜纳米晶，蔡佩君，刘丽华，氧化铜作为一种脱硫剂而具有重要研究意义。本文采用微波辐照法，醋酸铜为原料、氢氧化钠溶液为沉淀剂、直接使用水溶液为分散剂的
19 2020-04-20 -
Partial Randomness Hashing for Large Scale Remote Sensing Image Retrieval
Partial Randomness Hashing for Large-Scale Remote Sensing Image Retrieval
11 2021-02-08 -
Novel link prediction for large scale miRNAlncRNA interaction network in a bipar
Novel link prediction for large-scale miRNAlncRNA interaction network in a bipartite graph
16 2021-02-07 -
A Spherical Wavefront Based Scatterer Localization Algorithm Using Large Scale A
A Spherical-Wavefront-Based Scatterer Localization Algorithm Using Large-Scale Antenna Arrays
14 2021-02-08 -
Wafer scale synthesis of polycrystalline monolayer graphene film with large doma
晶圆级大畴多晶单层石墨烯的可控制备，刘竞博，李萍剑，通过调控石墨烯晶畴的形核密度和晶畴尺寸，采用化学气相沉积法制备出1×1英寸晶圆级多晶单层石墨烯薄膜，单个晶畴尺寸达到~1毫米。
18 2020-07-17 -
Large Scale Machine Learning with SparkPackt Publishing2016.pdf
Machinelearning,atitscore,isconcernedwithalgorithmsthattransformrawdataintoinformationintoactionabl
19 2020-05-19
暂无评论