Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.

Peter Csaba lveczky

Browse the full SNPD paper archive.