Search

Your search keyword '"Yi Wang"' showing total 216 results

Search Constraints

Start Over You searched for: Author "Yi Wang" Remove constraint Author: "Yi Wang" Publication Type eBooks Remove constraint Publication Type: eBooks
216 results on '"Yi Wang"'

Search Results

1. Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals

2. Timing is All You Need

3. Ma X v. Guyuan People’s Government of Ningxia Hui Autonomous Region, and Guyuan Housing and Urban-Rural Development Bureau of Ningxia Hui Autonomous Region : (Dispute Over Administrative Approval and Administrative Ruling on House Demolition and Relocation: Whether Two or More Administrative Acts in the Same Administrative Case Listed as the Disputed Administrative Acts Meets the Legal Conditions for Prosecution)

4. Characterizations of Parallel Real-Time Workloads

5. Application of Faster Real Time Simulation Based on Digital Twin in Fault Monitoring of Doubly Fed Induction Generator

6. Research on Charging Load of Electric Vehicle Cluster Based on Mesh Planning

12. Cause-Effect Reaction Latency in Real-Time Systems

13. Model Checking, Synthesis, and Learning

15. Towards Customizable CPS: Composability, Efficiency and Predictability

16. Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems

17. An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada

18. Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model

19. Characterization of Simulation by Probabilistic Testing

20. Scalable Timing Analysis with Refinement

23. McAiT – A Timing Analyzer for Multicore Real-Time Software

25. The Credo Methodology : (Extended Version)

26. Modeling and Analysis of Thread-Pools in an Industrial Communication Platform

27. R-Automata

28. Sampled Universality of Timed Automata

29. Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times

31. Communicating Timed Automata: The More Synchronous, the More Difficult to Verify

32. An Adaptive Stochastic Collision Detection Between Deformable Objects Using Particle Swarm Optimization

34. Timed Patterns: TCOZ to Timed Automata

35. Timed vs. Time-Triggered Automata

36. Timed Automata: Semantics, Algorithms and Tools

42. Schedulability Analysis Using Two Clocks

46. UppaaL Implementation Secrets

47. Dark Energy

49. UPPAAL - Now, Next, and Future

Catalog

Books, media, physical & digital resources