Verification of the Consistency of Time-Aware Cyber-Physical Processes.

Imen Graja Slim Kallel Nawal Guermouche Ahmed Hadj Kacem

Published in: ICSOC Workshops (2017)

Keyphrases

physical processes
image formation
mathematical models
physical world
physical parameters
finite element method
artificial intelligence
ubiquitous computing