共 50 条
- [36] Protocol-driven care in the intensive care unit: A tool for quality [J]. Critical Care, 5 (6): : 283 - 285
- [39] Protocol-driven care in the intensive care unit: a tool for quality [J]. CRITICAL CARE, 2001, 5 (06): : 283 - 285
- [40] Avoiding false negatives in formal verification for protocol-driven blocks [J]. 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1225 - +