Stem hms$ (all stems)

2 papers:

RE-2006-Aubrey #requirements

Controlling the HMS Program through Managing Requirements (DA), pp. 222–227.

CAV-1991-GabrielianI #realtime #specification #verification

Verifying Properties of HMS Machine Specifications of Real-Time Systems (AG, RI), pp. 421–431.