位置：成果数据库 > 期刊 > 期刊详情页
Formal Verification of Statecharts Using Finite-State Model Checkers
  • 时间：0
  • 相关项目：利用结构特性分析和控制动态布尔网络
同期刊论文项目
利用结构特性分析和控制动态布尔网络
期刊论文 24 会议论文 17 著作 1
同项目期刊论文
The Equivalence between Ordinal Optimization in Deterministic Complex Problems and in Stochastic Sim
Fork-Join program response time on multiprocessors with exchangeable join
传感器网络中能量最优化的聚类轮换算法
A Branch and Bound Method to the Continuous Time Model Elevator System with Full Information
On the Surrogate Gradient Algorithm for Lagrangian Relaxation
How much spare capacity is necessary for the security of resource networks
无线传感器网络中重发问题的理论分析
Parallel Implementation of OBDD Based Splitting Surface Search for Power System
一种基于传感器网络的车辆跟踪系统
无线传感器网络的一种数据管理底层协议
Optimal dynamic voltage scaling in energy-limited nonpreemptive systems with real-time constraints
Comment on Technical Note Universal Alignment Probability Revisited
An efficient organization mechanism for spatial networks
Constrained Ordinal Optimization—A Feasibility Model Based Approach
Comparison of Selection Rules for Ordinal Optimization
一种自适应的802．11DCF竞争窗调节策略
Fork-Join program response time on multiprocessors with exchangeable join
多智能体并行仿真框架