| Title: |
Modeling and Formal Analysis of High-Assurance Mixed-Reality Systems |
| Authors: |
Amundson, Isaac; Babar, Junaid; Herencia-Zapana, Heber; Rollini, Simone Fulvio; Brussee, Ben; Wu, Peggy; Wang, Timothy E.; Newendorp, Amanda K.; Kohl, Adam R.; Fieffer, Stephen J.; Khan, Shayama S.; Sanaei, Mohammadamin; Muscala, Mieszko; Gilbert, Stephen B.; Winer, Eliot; Dorneich, Michael C.; Lathrop, James; Musliner, David; P. Goldman, Robert; Gottlieb, Jeremy; Ganeriwala, Parth; Chambers, Candice; Bhattacharyya, Siddhartha |
| Source: |
2025 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2025 AIAA DATC/IEEE 44th. :1-10 Sep, 2025 |
| Relation: |
2025 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC) |
| Database: |
IEEE Xplore Digital Library |