Systems integration and verification in an advanced smart factory.

George L. Ball Christopher (Kit) Runge Randy Ramsey Nicholas Barrett

Published in: SysCon (2017)

Keyphrases

user interface
expert systems
artificial intelligence
management system
information retrieval systems
automated verification
e learning
digital libraries
distributed systems
building blocks
model checking
web intelligence