Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach.

Abhishek Dubey Xianbin Wu Hang Su T. John Koo

Published in: ATVA (2005)

Keyphrases

automatic analysis
embedded software
management system
client server
database
real time
low cost
object model