Title of article :
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control
Author/Authors :
Mu Sun، نويسنده , , Jose Meseguer، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Abstract :
Contract Aware Components, 10 years after
Journal title :
Electronic Proceedings in Theoretical Computer Science
Journal title :
Electronic Proceedings in Theoretical Computer Science
