MSA V&V 2025
Mon 28 July - Fri 1 August 2025
Los Angeles, California, United States
co-located with
IEEE SMC-IT/SCC 2025
Toggle navigation
Attending
Venue: California Science Center
Program
MSA V&V Program
Your Program
Mon 28 Jul
Tue 29 Jul
Wed 30 Jul
Thu 31 Jul
Fri 1 Aug
Track/Call
Organization
MSA V&V 2025 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
MSA V&V 2025 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results
(
4
)
A
Jade Alglave
Alglave, Jade
Arm and University College London
United Kingdom
On Formal Specifications at Arm
G
Alwyn Goodloe
Goodloe, Alwyn
NASA Langley Research Center
United States
Discussion: Use Cases
Committee Member in Organizing Committee within the MSA V&V-track
R
Samuel R Thompson
R Thompson, Samuel
Rapita Systems Ltd
United Kingdom
Addressing Multicore Interference in Safety-and-Mission-Critical Computers
T
Scott Tashakkor
Tashakkor, Scott
NASA
Committee Member in Organizing Committee within the MSA V&V-track
x
Mon 10 Aug 15:28