𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using Program Transformations to Provide Safety Properties for Real-Time Systems

✍ Scribed by Grace Tsai; Shuhua Wang

Book ID
111613418
Publisher
Springer US
Year
2004
Tongue
English
Weight
145 KB
Volume
27
Category
Article
ISSN
0922-6443

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Use of transcranial real-time ultrasonog
Use of transcranial real-time ultrasonography for programming a shunt valve system
✍ Kay Mursch; Julianne Behnke; Hans-JΓΌrgen Christen; Evangelos Markakis πŸ“‚ Article πŸ“… 1996 πŸ› Springer 🌐 English βš– 699 KB

For patients who suffer from hydrocephalus that is difficult to treat because of impaired intracranial compliance, a programmable shunt system may be a helpful alternative. However, especially during the first weeks after implantation, many radiological follow-up studies are necessary to achieve the