1991
DOI: 10.1007/3-540-54834-3_33
|View full text |Cite
|
Sign up to set email alerts
|

An overview of HP-SL

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
5
0

Year Published

1993
1993
2015
2015

Publication Types

Select...
4
4
1

Relationship

0
9

Authors

Journals

citations
Cited by 13 publications
(5 citation statements)
references
References 1 publication
0
5
0
Order By: Relevance
“…Many coastal areas are heavily urbanized, a fact that makes the need for freshwater even more acute [Bear and Cheng, 1999]. Coastal aquifers are highly sensitive to disturbances.…”
Section: Introductionmentioning
confidence: 99%
“…Many coastal areas are heavily urbanized, a fact that makes the need for freshwater even more acute [Bear and Cheng, 1999]. Coastal aquifers are highly sensitive to disturbances.…”
Section: Introductionmentioning
confidence: 99%
“…An HP Medical Instruments real-time database for storing patient monitoring information [Bear 1991]. -Devices.…”
Section: Formal Methodsmentioning
confidence: 99%
“…The use of formal methods has been in place for the development of various health-care products for a long time. Several decades ago, Hewlett Packard used HP-SL [29] to enhance the quality of a range of their cardiac care products [30]. The University of Washington used the Z method [31] for the development of a computer control system of a cyclotron and treatment facility that provides particle beams for cancer treatment [32].…”
Section: Related Workmentioning
confidence: 99%