P.C. Olveczky

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

P.C. Olveczky, 2008, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing.