Learn More
Transcranial magnetic stimulation is investigated as a new tool in the therapy of depression and other psychiatric disorders. In almost all studies, the dorsolateral prefrontal cortex (DLPFC) has been selected as the target site for stimulation. Usually this region was determined by identifying the patient's motor cortex, and from there the coil was placed(More)
We are developing a control program for a unique radiation therapy machine. The program is safety-critical, executes several concurrent tasks, and must meet real-time deadlines. Development employs both formal and traditional methods: we produce an informal speciication in prose (supplemented by tables, diagrams and a few formulas) and a formal description(More)
  • 1