Login / Signup

A Formal Analysis of HL7 Version 2.x.

Frank OemigBernd Blobel
Published in: MIE (2011)
Keyphrases
  • formal analysis
  • formal methods
  • agent model
  • genetic algorithm
  • ban logic
  • data sets
  • development process