Back to Results
First PageMeta Content
Software engineering / Computing / Engineering / Formal methods / Safety / Software quality / Control engineering / Fault tolerance / Rodin tool / Life-critical system / Dependability / Control theory


Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D29
Add to Reading List

Document Date: 2007-11-07 10:26:15


Open Document

File Size: 306,16 KB

Share Result on Facebook