Handling Heterogeneity in Formal Developments of Hardware and Software Systems.

Yamine Aït Ameur Dominique Méry

Published in: ISoLA (2) (2012)

Keyphrases

hardware and software
computer systems
low cost
remote monitoring
machine learning
distributed systems
data processing
message passing
real time
data mining
computer vision
information systems
signal processing
petri net
hardware software