Detecting and Resolving Feature Interactions in Cyber-Physical Systems Using Formal Methods
| Title: | Detecting and Resolving Feature Interactions in Cyber-Physical Systems Using Formal Methods |
|---|---|
| Authors: | Walker, H. D.; Ricker, S. L.; Marchand, H. |
| Source: | 2025 IEEE 19th International Conference on Control & Automation (ICCA) Control & Automation (ICCA), 2025 IEEE 19th International Conference on. :274-279 Jun, 2025 |
| Relation: | 2025 IEEE 19th International Conference on Control & Automation (ICCA) |
| Database: | IEEE Xplore Digital Library |