Peter Fennema

Learn More
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirements, and is therefore not very accessible. In this paper we show how model checking can be applied in the context of business modeling and analysis by people that are not trained in(More)
PURPOSE The purpose of this study was to assess whether intraoperative fluoroscopy assists in the restoration of the coronal limb alignment target in conventional total knee arthroplasty (TKA). METHODS One hundred and six patients undergoing conventional cemented TKA were randomly assigned to be operated on with or without intraoperative fluoroscopy. The(More)
  • 1