Technologies and Tools for the Design of Dependable Embedded Systems

Research output: ThesisHabilitation

Projects