Login / Signup
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.
Peter Csaba Ölveczky
Published in:
SNPD (2008)
Keyphrases
</>
real time
medical devices
data analysis
image analysis