Jon Jacky

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Radiation Therapy

Three Dimensional

Top Venues

Publications

Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang
Toward a Dependability Case Language and Workflow for a Radiation Therapy System. SNAPL (2015)