mLab

HOME
RESEARCH
PUBLICATIONS
TEACHING
PEOPLE

VHM IN DISTINGUISHED LECTURE SERIES @UIUC (MARCH 2011)

February 13, 2012

← Model-based Closed-loop Testing paper published in IEEE ICCPS’11 (April 2011)

Pacemaker Verification paper published in TACAS, 2012 →

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