Difference between pages "Template:Main Page/Community" and "Category:User FAQ"

From Event-B
(Difference between pages)
Jump to navigationJump to search
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>
 

Revision as of 22:23, 11 December 2008