Een formele methode, maar tóch hanteerbaar
De software in toekomstige röntgenapparatuur van Philips Healthcare zal op basis van formele methoden worden ontwikkeld. Niet dat het bedrijf opeens heeft besloten op die doorgaans als zonderling en onwerkbaar bekend staande wijze zijn software te gaan bouwen.

© Philips Healthcare
Philips Healthcare