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

From Event-B
Jump to navigationJump to search
imported>Tommy
m
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).]
 +
 
[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]
 
[http://www.rodintools.org/dbook.html The DEPLOY book will be published by Springer in June 2013: Industrial deployment of system engineering methods providing high dependability and productivity, A. Romanovsky, M. Thomas (Eds).]
 
  
 
[http://wiki.event-b.org/index.php/Rodin_Workshop_2013 Rodin 2013 Workshop on 10+11 June 2013.]
 
[http://wiki.event-b.org/index.php/Rodin_Workshop_2013 Rodin 2013 Workshop on 10+11 June 2013.]

Revision as of 08:26, 19 July 2013