ICE system

1 version

A PVS model of an integrated clinical environment.

Download (v. 1.0)

Language:

PVS

Tool:

PVS

Published:

29 Apr 2026

Authors:

Michael Harrison, Paolo Masci

Permalink:

Related Publications

• Proving Use Requirements of Interactive Systems with Remote Monitoring and Control Capabilities