Computer Science – Software Engineering
Scientist
Computer Science
Software Engineering
Scientist
Graz University of Technology
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
No associations
LandOfFree
Bernhard K. Aichernig does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Bernhard K. Aichernig, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bernhard K. Aichernig will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-183815