Towards a verified component platform.

Matthew Fernandez Ihor Kuz Gerwin Klein June Andronick

Published in: PLOS@SOSP (2013)

Keyphrases

real world
data mining
digital libraries
mobile robot
probabilistic model
software systems
software components
rapid prototyping
collaborative environment
experimental platform