Formal Specification of Medical Systems by Proof-Based Refinement.

Dominique Méry Neeraj Kumar Singh

Published in: ACM Trans. Embed. Comput. Syst. (2013)

Keyphrases

formal specification
formal methods
model checking
specification language
expert systems
databases
real world
object oriented design
specification languages
knowledge base
software components
reverse engineering
design methodologies
process algebra