Definition, Semantics, and Analysis of Multirate Synchronous AADL.

Kyungmin Bae Peter Csaba Ölveczky José Meseguer

Published in: FM (2014)

Keyphrases

neural network
real time
information retrieval
image sequences
multiscale
logic programming
semantic information
quantitative analysis