Template:Main Page/Community: Difference between revisions
imported>Sascha |
imported>Sascha |
||
| Line 4: | Line 4: | ||
</noinclude> | </noinclude> | ||
[http://www.rodintools.org/dbook.html The DEPLOY book will be published by Springer in | |||
[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] | [http://wiki.event-b.org/index.php/Rodin_Workshop_2013 Rodin 2013 Workshop] | ||
Revision as of 16:49, 6 May 2013
Displayed as follow on the Main Page
Rodin Workshop 2012 - Rodin 2012 Workshop
FAQ about the use and the impact of formal engineering methods in Industry
Rodin Workshop 2010 - Programme for Rodin 2010 Workshop
Industry Challenges identifed at Dagstuhl refinement seminar 2009
Mailing lists - Rodin related mailing lists.
Rodin Platform Releases - Track releases.
Bugs and Feature Requests - Report a bug or request a new feature.
DEPLOY Plenary Meeting 2009 - Call for Papers
Rodin Workshop 2009 - Abstracts and slides from Rodin 2009 Workshop
Do not hesitate to improve this wiki. You may find some help within the following pages:
Wiki Help - Some technical documentation about this wiki.
Village Pump - Ask your questions and keep track of the main wiki events.
Recent Changes - Monitor the wiki activity.
Test Area - Wiki editing is simple. Try by yourself.
