Login / Signup
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