Title: Research in the development and certification of safety-related software
Subjects: Certification, Implantation, Collision avoidance, Computer programs, Numerical control, Warning systems, Safety, Insulin, Software development tools, Mathematical logic, Education