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
Date: Apr 07, 2016
Participants: UJF, Bosch
Discussion on abstraction and refinement of EMB-Model, Trace-Conformance in SpaceEx
Submitted by Alexander Rausch
on