Login / Signup

Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control

Mu SunJosé Meseguer
Published in: RTRTS (2010)
Keyphrases