Chapter Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models - Peil, Pablo (InTechOpen, 2012)
Medical genetics