Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: Specification of e-Health system using Z: A motivation to formal methods
The formal specification for the inventory system using Z language
Formal hardware specification languages for protocol compliance verification
A general framework for formalizing UML with formal languages
What is eHealth (6)? Development of a Conceptual Model for eHealth: Qualitative Study with Key Informants
Automatic Testing with Formal Methods
Cyber security via formal methods: A framework for implementing formal methods
Human-oriented design of secure Machine-to-Machine communication system for e-Healthcare society
What Is eHealth (3): A Systematic Review of Published Definitions
Formal Specifications and Test: Correctness and Oracle
Design of Embedded Systems : Formal Models , Validation , and Synthesis
Formal Data Validation with Event-B
English as a formal specification language
A Survey of Automated Techniques for Formal Software Verification
Patient health management system using e-health monitoring architecture
Why Business Modeling is Crucial in the Development of eHealth Technologies
Automating formal proofs for reactive systems
What's between simulation and formal verification? (extended abstract)
Underpinning a Guiding Theory of Patient-Centered E-Health
The Formal Specification Language mCRL2
Bridging the Gap between Natural Language Requirements and Formal Specifications
Fast Lagrangian Relaxation Based Gate Sizing using Multi-Threading
Eliciting security requirements with misuse cases
Combining instance-based learning and logistic regression for multilabel classification
Thermoneutrality, Mice, and Cancer: A Heated Opinion
Indexing medium-dimensionality data in Oracle