Verified ROS-Based Deployment of Platform-Independent Control Systems.

Wenrui Meng Junkil Park Oleg Sokolsky Stephanie Weirich Insup Lee

Published in: NFM (2015)

Keyphrases

platform independent
control system
reverse engineering
model driven
metamodel
model driven architecture
java language
business process
modeling language
database replication
real time
semantic web services
high level
databases
context sensitive
ambient intelligence
intelligent agents
database systems