mLab

HOME
RESEARCH
PUBLICATIONS
TEACHING
PEOPLE

PACEMAKER VERIFICATION UPPAAL MODEL RELEASE

Pacemaker Verification UPPAAL

February 13, 2012

← Pacemaker Verification paper published in TACAS, 2012

VHM Simulink model v1.0 released →

Comments are closed.

Fun
News
Contact

Facebook Google Plus Twitter Youtube

News

Protodrive won 3rd prize (Award of Merit) of Free Theme in The World Embedded Software Contest(WESC)
...
Heart On a Chip won 1st prize (Award of Excellence) of High-tech Medical Service in the World Embedded Software Contest(WESC)
...
The VHM team and the Protodrive team are going to participate in WESC’2012 in Seoul Korea
...

Awards

Protodrive won 3rd prize (Award of Merit) of Free Theme in The World Embedded Software Contest(WESC)
December 7, 2012
Heart On a Chip won 1st prize (Award of Excellence) of High-tech Medical Service in the World Embedded Software Contest(WESC)
December 7, 2012
mLab wins the 1st prize in the SEAS Senior Design Competition! Congrats to the PVS team!
August 20, 2012

All rights reserved. Copyright © 2011. mLab