Verification mechanism for lightweight componenent-based environment based on IoC container.

Rafal Leszko Kamil Pietak

Published in: Comput. Sci. (2013)

Keyphrases

lightweight
mobile robot
real time
model checking
web services
cost effective
development environments
communication infrastructure
social networks
low cost
software systems