A Case for Certifying Compilers in Industrial Automation.

Published in: Principled Software Development (2018)

Keyphrases

industrial automation
programming language
general purpose
learning algorithm
case study
multiscale
data sets
data mining
artificial intelligence
control system
computer systems
hardware and software
computer architecture