imported>Sascha |
imported>Mathieu |
Line 1: |
Line 1: |
− | <noinclude>
| + | [[Category:FAQ]] |
− | == Displayed as follow on the Main Page ==
| + | [[Category:User Documentation]] |
− | <div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
| |
− | </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://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>
| |