Taisy Silva Weber

• Dependable Computing
• Erhöhung der Nebenläufigkeit in automatische entworfenen digitalen Systemen