Abhishek Dubey
Abhishek Dubey
Home
Education
Research Impact
Publications
Contact
CV
Light
Dark
Automatic
paper-conference
Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach
In this paper, we describe a computation platform called ReachLab, which enables automatic analysis of embedded software systems that …
Abhishek Dubey
,
X. Wu
,
H. Su
,
T. J. Koo
Cite
«
Cite
×