Telcon Abstraction & Refinement

Date: Apr 07, 2016

Participants: UJF, Bosch

Discussion on abstraction and refinement of EMB-Model, Trace-Conformance in SpaceEx
 

Submitted by Alexander Rausch on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.