Formal Specification of a Cardiac Pacing System.
Artur Oliveira GomesMarcel Vinícius Medeiros OliveiraPublished in: FM (2009)
Keyphrases
- formal specification
- wall motion
- model checking
- specification languages
- patient specific
- object oriented design
- reverse engineering
- specification language
- process algebra
- concurrent systems
- data abstraction
- left ventricle
- formal methods
- heart disease
- formal specification language
- databases
- business rules
- fine grained
- knowledge management
- object oriented
- query language