2:58Complex system design from confidence to correctness/Verification based on system wide UML models.Papyrus Eclipse3.8K viewsView & Download