Jaco Verheul

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We present an executable and changeable reference model for Health Insurance Applications. The model is based on the published descriptions of Health Insurance Products and exploits properties of the compositional Protocol Modelling technique. We analyze the changes of Health Insurance Products made in the last six years. All changes found in official(More)
  • 1