Publisher
Springer International Publishing
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scenario-Based Online Reachability Validation for CPS Fault Prediction;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-10
2. Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata;Formal Aspects of Component Software;2020
3. Parametric Timed Bisimulation;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020
4. Sampling strategies for product lines with unbounded parametric real-time constraints;International Journal on Software Tools for Technology Transfer;2019-09-24
5. Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints;Journal of Systems and Software;2019-03