SEMECO-Q1: TrustMod

From International Center for Computational Logic
Toggle side column

SEMECO-Q1: TrustMod

Secure Medical Microsystems and Communications: Enhancing Trustworthiness and Facilitating Certification through Separation and Modularization (TrustMod)