Sign in
Toward a Dependability Case Language and Workflow for a Radiation Therapy System.
Michael D. Ernst
Dan Grossman
Jon Jacky
Calvin Loncaric
Stuart Pernsteiner
Zachary Tatlock
Emina Torlak
Xi Wang
Published in:
SNAPL (2015)
Keyphrases
</>
radiation therapy
treatment planning
three dimensional