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:
Date Issued:  [2010 TO 2019]
Author:  Dong, J.S.

Results 1-3 of 3 (Search time: 0.002 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. 
22013Generating C# programs from CSP# modelsZhu, H.; Dong, J.S. ; Wadhwa, B. ; Lin, S.-W. 
32013USMMC: A self-contained model checker for UML state machinesLiu, S.; Liu, Y.; Sun, J.; Zheng, M.; Wadhwa, B. ; Dong, J.S.