Computer Science – Software Engineering
Scientist
Computer Science
Software Engineering
Scientist
fortiss GmbH
A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts
On Compositional Reasoning for Guaranteeing Probabilistic Properties
On the Simulation of Time-Triggered Systems on a Chip with BIP
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool
Towards a Property Preserving Transformation from IEC 61131-3 to BIP
No associations
LandOfFree
Jan Olaf Blech does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jan Olaf Blech, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jan Olaf Blech will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-201643