Back to Results
First PageMeta Content
Software / Computing / Formal methods / Software engineering / Dependability / Quality / Safety / Safety engineering / Systems engineering / B-Method / Project management / Programming tool


RODIN (Rigorous Open Development Environment for Complex Systems) Project Number: ISTJoey Coleman1 , Cliff Jones1 , Ian Oliver2 , Alexander Romanovsky1 , and Elena Troubitsyna3 1
Add to Reading List

Document Date: 2005-06-09 09:16:29

Open Document

File Size: 97,10 KB

Share Result on Facebook
UPDATE