imported>Tommy |
|
| Line 1: |
Line 1: |
| − | <noinclude>
| |
| − | == Displayed as follow on the Main Page ==
| |
| − | <div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
| |
| − | </noinclude>
| |
| − | [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://www.rodintools.org/tutorial.html ICFEM 2012 Tutorial ''Correct-by-Construction Development of Dependable Systems''. Nov 12, 2012, Kyoto, Japan]
| |
| − |
| |
| − | [http://research.nii.ac.jp/eventb2012/ ICFEM 2012 Workshop on the experience of and advances in developing dependable systems in Event-B. Nov 13, 2012, Kyoto, Japan]
| |
| − |
| |
| − | [[Rodin Workshop 2012]] - Rodin 2012 Workshop
| |
| − |
| |
| − | <!--[[Rodin Workshop 2010]] - Programme for Rodin 2010 Workshop
| |
| − | [[Dagstuhl Seminar 2009|Industry Challenges identifed at Dagstuhl refinement seminar 2009]]
| |
| − | [[DEPLOY_Plenary_Workshop_2009|DEPLOY Plenary Meeting 2009]] - Call for Papers
| |
| − | [[Rodin Workshop 2009]] - Abstracts and slides from Rodin 2009 Workshop -->
| |
| − | ----
| |
| − |
| |
| − | [[Mailing lists]] - Rodin related mailing lists.
| |
| − |
| |
| − | [[Rodin Platform Releases]] - Track releases.
| |
| − |
| |
| − | [[Bugs and Feature Requests]] - Report a bug or request a new feature.
| |
| − |
| |
| − | [[Plug-in_Wishlist|Plug-in Wishlist]]
| |
| − |
| |
| − | [http://www.fm4industry.org FAQ about the use and the impact of formal engineering methods in Industry]
| |
| − |
| |
| − | ----
| |
| − |
| |
| − | ''Do not hesitate to improve this wiki.'' You may find some help within the following pages:
| |
| − |
| |
| − | [[Help:Contents|Wiki Help]] - Some technical documentation about this wiki.
| |
| − |
| |
| − | [[EB:VP|Village Pump]] - Ask your questions and keep track of the main wiki events.
| |
| − |
| |
| − | [[Special:Recentchanges|Recent Changes]] - Monitor the wiki activity.
| |
| − |
| |
| − | [[Test area|Test Area]] - Wiki editing is simple. Try by yourself.
| |
| − | <noinclude>
| |
| − | </div>
| |
| − | [[Category:Main page templates|Community]]
| |
| − | </noinclude>
| |
