Login / Signup

Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models.

Chunhui GuoShangping RenYu JiangPo-Liang WuLui ShaRichard B. Berlin Jr.
Published in: ICCPS (2016)
Keyphrases