Search
Now showing items 1-2 of 2
Formalizing electrocardiogram (ECG) signal behavior in event-B
Publisher: IEEE
Year: 2014
Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM
Publisher: IEEE
Year: 2014