Learn More
Rights ©2000 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. Abstract Recent(More)
We describe the application of CT-MRI fusion software for 3D conformal radiotherapy in two patients with localized prostate cancer who had significantly altered pelvic anatomy due to prior surgery. Patient A had a hemipelvectomy for fibrosarcoma and Patient B had an abdominoperineal resection (APR) for rectal carcinoma. Using the Picker AcQSIM 3D treatment(More)
This paper introduces the Inverse Implementation method, that augments classical software development processes by a step of formal conformity verification. Our method is based on a formal model of the machine that executes programs of the chosen programming language. The model can automatically be combined with the code of a concrete program to gain a(More)
  • 1