James Hamil

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Congestion Control

Ad Hoc Networks

Practical Application

Top Venues

Publications

Laura R. Humphrey, James Hamil, Joffrey Huguet
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK. SEFM (2020)
M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil
Practical Application of SPARK to OpenUxAS. FM (2019)