Difference between pages "Template:L witness" and "Template:Main Page/Community"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m
 
imported>Tommy
m
 
Line 1: Line 1:
 
<noinclude>
 
<noinclude>
==Usage==
+
== Displayed as follow on the Main Page ==
Template use to typeset a witness in an event-b listing.
+
<div style="margin:0;width:43%;border:1px solid #AAAAAA;background:#FFFFFF">
==Example==
+
</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]
  
{{l_machine|AntiCollide}}
+
[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).]
{{l_refines|Safety}}
 
{{l_sees|Network}}
 
{{l_component|Acyclic}}
 
{{l_Variables|v1}}
 
{{l_variable|v2}}
 
{{l_event|control}}
 
{{l_witnesses}}
 
{{l_witness|a}}
 
{{l_end_event}}
 
{{l_end}}
 
  
[[Category:Listing templates]]
+
[http://wiki.event-b.org/index.php/Rodin_Workshop_2013 Rodin 2013 Workshop on 10+11 June 2013.]
==Template==
+
 
</noinclude><!--
+
[http://www.rodintools.org/tutorial.html ICFEM 2012 Tutorial ''Correct-by-Construction Development of Dependable Systems''. Nov 12, 2012, Kyoto, Japan]
--><p class="typeset-l_witness">{{l_label|{{{1}}}}{{{2}}}</p>
+
 +
[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 13:28, 4 July 2013