Formal Development of a Cardiac Pacemaker: From Specification to Code.

Artur Oliveira Gomes Marcel Vinícius Medeiros Oliveira

Published in: SBMF (2010)

Keyphrases

code generation
formal specification
formal methods
case study
software engineering
knowledge based systems
source code
information processing
code generator
three dimensional
formal languages