An approach to verifying concurrent systems-a medical information bus (MIB) case study.
Phil CurranKathy NorriePublished in: CBMS (1992)
Keyphrases
- medical information
- concurrent systems
- case study
- model checking
- temporal logic
- health care
- medical data
- medical diagnosis
- medical domain
- distributed systems
- formal specification
- patient records
- petri net
- clinical information
- real world
- software development
- medical records
- data sources
- databases
- clinical data
- natural language processing
- computer science