Font Size:
a
A
A
Keyword [Statistical model checking]
Result: 1 - 11 | Page: 1 of 1
1.
Modeling And Analyzing Wireless Sensor Network Protocols With Stochastic Timed Automata And Statistical Model Checking
2.
Research On Verification Of Trustworthiness For CPS Software Based On Statistical Model Checking
3.
Variation-Aware Evaluation And Optimization For Cloud Workflow Resource Allocation
4.
Modeling And Analyzing Of Wireless Sensor Network Protocol Based On Statistical Model Checking
5.
A Variation-Aware Quantitative Analysis And Optimization Framework For ThingML Designs
6.
Design And Quantitative Analysis For Hybrid AADL Under Uncertain Environment
7.
Formal Modeling And Dynamic Verification For Human Cyber Physical Systems Under Uncertain Environment
8.
Modelling Approach For Cyber Physical Systems Based On SysML/MARTE/pCCSL
9.
Model Checking Of Cyber Physical System Based On Co-simulation And Statistical Model Checking
10.
Automatic Generation Of Concurrent Program Based On Statistical Model Checking
11.
Quantitative Timing Analysis Of Scenario-Oriented Specifications Considering Uncertain Environment
<<First
<Prev Next>
Last>>
Jump to
