Action languages and precise modeling for cyber-physical systems design and testing.

Omar Badreddin Maged Elaasar Vahdat Abdelzad

Published in: CASCON (2016)

Keyphrases

cyber physical systems
real time
information technology
low cost
decision makers
data center