Formalizing Anaesthesia: a case study in formal specification.
Rix GroenboomErik SaamanErnest RotterdamGerard R. Renardel de LavalettePublished in: FME (1996)
Keyphrases
- formal specification
- model checking
- specification languages
- specification language
- object oriented design
- process algebra
- case study
- reverse engineering
- formal methods
- concurrent systems
- data abstraction
- temporal logic
- formal specification language
- software components
- heart rate
- quality of service
- response time
- information technology
- real world
- databases
- database