Telcon Abstraction & Refinement
Date: Apr 07, 2016 4:00 am – Apr 07, 2016 5:00 am
Participants: UJF, Bosch
Discussion on abstraction and refinement of EMB-Model, Trace-Conformance in SpaceEx
Submitted by Alexander Rausch
on
Date: Apr 07, 2016 4:00 am – Apr 07, 2016 5:00 am
Participants: UJF, Bosch
Discussion on abstraction and refinement of EMB-Model, Trace-Conformance in SpaceEx
Submitted by Alexander Rausch
on