DMCA. Copyrighted Work that you can Claim.
Base have 2315513 titles. Books: 2315513. Articles: 0

Preview High-Level Modeling and Analysis of the Traffic Alert and Collision ... pdf file

In this paper, we demonstrate a high-level approach to modeling, analyzing, and verifying complex safety-critical systems through a case study on the Traffic Alert and Collision Avoidance ... Keywords: Hybrid Systems, Automata, TCAS, Safety- Critical, Formal Verification. .... Moreover, their multi-level structure provides.

Related links: