Funder
DARPA Systems of Systems Integration Technology and Experimentation
NASA Compositional Verification of Flight-Critical Systems
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enhancing the Formal Verification of Train Control Systems based on Decomposition;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06