Search
Search Constraints
You searched for: Author/Creator Cheng, RuijunLimit your search
- Cheng, Ruijun [remove] 9
- 620.00452 4
- Fiabilité -- Périodiques 4
- Industrial safety -- Periodicals 4
- Reliability (Engineering) -- Periodicals 4
- System safety -- Periodicals 4
- Sécurité des systèmes -- Périodiques 4
- Sécurité du travail -- Périodiques 4
- Parameter uncertainty -- System safety verification -- Linear hybrid automata -- Reachable state analysis -- Stochastic time petri nets -- High-speed train control system 2
- Unattended train operation (UTO) -- Quantitative safety verification -- Probabilistic hybrid automata (PHA) -- Probabilistic reachable set analysis -- Online quantitative safety monitoring 2
- 006.32 1