Jason J. Landers

Directory, Systems Engineering
TrustInSoft
Seattle, Washington, United States

Disclosure information not submitted.

Presentation(s):

• Target aware static code analysis techniques leveraging Formal Methods for embedded code

  Wednesday, July 10, 2024
  3:10pm – 5:00pm PDT