On the Formal Analysis of Photonic Signal Processing Systems.

Umair Siddique Sidi Mohamed Beillahi Sofiène Tahar

Published in: FMICS (2015)

Keyphrases

formal analysis
signal processing
formal methods
computer systems
image processing
artificial intelligence
management system
intelligent systems
fourier transform
expert systems