Login / Signup
Wenshan Tang
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Petri Net
Reactive Systems
Ims Ld
Consumer Electronics
Top Venues
GCCE
</>
Publications
</>
Wenshan Tang
,
Shingo Yamaguchi
,
Mohd Anuaruddin Bin Ahmadon
Reduction of redundant tasks and its application to refactoring in consumer electronics software.
GCCE
(2017)
Wenshan Tang
,
Zhaolong Gou
,
Mohd Anuaruddin Bin Ahmadon
,
Shingo Yamaguchi
On verification of implementation of security specification with Petri nets' protocol inheritance.
GCCE
(2016)