Login / Signup

Towards a Verified Simulation Model for Radiofrequency Ablations.

Andreas WeihusenLisa HinrichsenThomas CarusRainer DammerRichard Rascher-FriesenhausenTim KrögerHeinz-Otto PeitgenTobias Preusser
Published in: IPCAI (2010)
Keyphrases
  • simulation model
  • simulation models
  • discrete event
  • agent based simulation
  • mathematical model
  • simulation environment
  • simulation tool
  • analytical model
  • matlab simulink