Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.

article

The journal

The conversation starts in the journal — be the first to post.

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM — article