Wuwei Shen, Ph.D.
Affiliations: | 2001 | University of Michigan, Ann Arbor, Ann Arbor, MI |
Area:
Computer ScienceGoogle:
"Wuwei Shen"Parents
Sign in to add mentorKevin Compton | grad student | 2001 | University of Michigan | |
(The application of abstract state machines in software engineering.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Lin C, Shen W, Hawkins R. (2017) Support for safety case generation via model transformation Acm Sigbed Review. 14: 44-52 |
Chavez HM, Shen W, France RB, et al. (2016) An Approach to Checking Consistency between UML Class Model and Its Java Implementation Ieee Transactions On Software Engineering. 42: 322-344 |
Lin CL, Shen W. (2015) Generation of Assurance Cases for Medical Devices Studies in Computational Intelligence. 566: 127-140 |