Difference between revisions of "Template:Main Page/Community"

From Event-B
Jump to navigationJump to search
imported>Sascha
imported>Sascha
Line 3: Line 3:
 
<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
 
<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
 
</noinclude>
 
</noinclude>
[http://link.springer.com/book/10.1007/978-3-642-33170-1/page/1 The DEPLOY book has been published by Springer in July 2013: Industrial deployment of system engineering methods providing high dependability and productivity, A. Romanovsky, M. Thomas (Eds). ISBN: 978-3-642-33169-5]  
+
[http://link.springer.com/book/10.1007/978-3-642-33170-1/page/1 The DEPLOY book was published by Springer in July 2013: Industrial deployment of system engineering methods providing high dependability and productivity, A. Romanovsky, M. Thomas (Eds). ISBN: 978-3-642-33169-5]  
  
 
[http://2013.dsn.org/tutorial-a-romanovsky/ Tutorial: ''Correct-by-Construction Development of Dependable Systems'' at the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks. June 24, 2013. Budapest, Hungary]
 
[http://2013.dsn.org/tutorial-a-romanovsky/ Tutorial: ''Correct-by-Construction Development of Dependable Systems'' at the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks. June 24, 2013. Budapest, Hungary]

Revision as of 11:05, 12 October 2013