Graf Research
Latest Past Events
osmosis Aerospace and Defense 2024 A Formal Verification Virtual Event
osmosis Aerospace and Defense (A&D) is about sharing the success in using formal techniques to address the demanding verification requirements and challenges of DO-254 compliant and other high-consequence systems. We have put together the following program covering a wide range of formal verification topics. Day 1 - Tuesday, April 23 10:00am Pacific | 1:00pm… osmosis Aerospace and Defense 2024 A Formal Verification Virtual Event
GOMACTech 2024
Embassy Suites by Hilton Charleston Convention Center, CharlestonGOMACTech was established primarily to review developments in microcircuit applications for government systems. Established in 1968, the conference has focused on advances in systems being developed by the Department of Defense and other government agencies and has been used to announce major government microelectronics initiatives such as VHSIC and MIMIC, and provides a forum for… GOMACTech 2024