Computer Science – Distributed – Parallel – and Cluster Computing
Scientist
Computer Science
Distributed, Parallel, and Cluster Computing
Scientist
Algorithms for Synthesizing Priorities in Component-based Systems
Distributed Priority Synthesis and its Applications
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
No associations
LandOfFree
Christian Buckl does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Christian Buckl, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Christian Buckl will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-269566