NEWS

Congratulations to Annette ten Teije et al for most cited paper listing

March 19, 2018

A recently published literature review [1] in the Journal of Software Evalution and Process on the use of formal methods in medical software systems lists the 2006 paper by Annette ten Teije (VU Computer Science) and her co-authors (“Improving medical protocols by formal methods”, [2]) as the most cited paper in the field.

[1] A systematic literature review of the use of formal methods in medical software systems, S Bonfanti, A Gargantini, A Mashkoor – Journal of Software: Evolution and Process

[2] Improving medical protocols by formal methods, A ten Teije, M. Marco, M. Balser et al., Artificial Intelligence in Medicine (2006) 36(3) 193-209

More info on the VU Computer Science web pages HERE