Ideal Mode Selection of a Cardiac Pacing System
type: Dataset
contact point: Organization
  fn: CCSD
keyword: abstract-model
keyword: infoeu-reposemanticsconferenceobject
keyword: refinement
keyword: infoinfo-mocomputer-science-csmodeling-and-simulation
keyword: infoinfo-dscomputer-science-csdata-structures-and-algorithms-csds
keyword: conference-papers
keyword: acm-f-theory-of-computationf3-logics-and-meanings-of-programs
keyword: pacemaker
keyword: acm-f-theory-of-computationf4-mathematical-logic-and-formal-languages
keyword: event-b
keyword: proof-based-development
keyword: modes
description: International audience
issued: 2026-05-09T18:00:16.226941
language: en
modified: 2026-05-09T18:00:16.226946

test_moissonnage_selune
type: Agent

Ideal Mode Selection of a Cardiac Pacing System
type: Distribution
access URL: https://inria.hal.science/hal-00862077
format: HTML
issued: 2026-05-09T18:00:16.228302
modified: 2026-05-09T18:00:16.213630