Font Size:
a
A
A
Keyword [Priced Timed Automata]
Result: 1 - 4 | Page: 1 of 1
1.
The Method Research On Resource Modeling And Verification Of Real-Time Software Based On Model Transformation
2.
Modeling And Analyzing Of Wireless Sensor Network Protocol Based On Statistical Model Checking
3.
A Variation-Aware Quantitative Analysis And Optimization Framework For ThingML Designs
4.
Design And Quantitative Analysis For Hybrid AADL Under Uncertain Environment
<<First
<Prev Next>
Last>>
Jump to