1. ScholarBank@NUS

Bimlesh Wadhwa

rp05867

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Bimlesh Wadhwa
Variants
Wadhwa, B.
 
Main Affiliation
 
Faculty
 
Email
dcsbw@nus.edu.sg
 

Publications

Refined By:
Author:  Sun, J.

Results 1-2 of 2 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)
12013A formal semantics for complete uml state machines with communicationsLiu, S.; Liu, Y.; André, E.; Choppy, C.; Sun, J.; Wadhwa, B. ; Dong, J.S. 
22013USMMC: A self-contained model checker for UML state machinesLiu, S.; Liu, Y.; Sun, J.; Zheng, M.; Wadhwa, B. ; Dong, J.S.