Compilation Principle of a Specification Language Dedicated to Signal Processing.

Julien Soula Philippe Marquet Alain Demeure Jean-Luc Dekeyser

Published in: PaCT (2001)

Keyphrases

specification language
signal processing
formal specification
programming language
description language
image processing
fourier transform
software environment
pattern recognition
symbolic execution
machine learning
computer vision
model checker
requirements specification